Layered Modal Type Theories
Jason Z. S. Hu, Brigitte Pientka
TL;DR
This paper introduces layered modal type theories that facilitate pattern matching in meta-programming and provide clearer semantics for such systems.
Contribution
It presents a novel layered approach to modal type theories, enhancing meta-programming capabilities and semantic clarity.
Findings
Enables pattern matching on code in meta-programming
Provides a clean and straightforward semantic framework
Introduces layered modal type theories
Abstract
We introduce layers to modal type theories, which subsequently enables type theories for pattern matching on code in meta-programming and clean and straightforward semantics.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, programming, and type systems · Model-Driven Software Engineering Techniques · Advanced Software Engineering Methodologies