A Sound Type System for Layer Subtyping and Dynamically Activated First-Class Layers
No abstract available.
Related papers
- Language constructs for context-oriented programming: an overview of ContextL DLS 2005
- Syntactic soundness proof of a type-and-capability system with hidden state JFP 2013
- Expressing graph algorithms using generalized active messages PPoPP 2013
- Layered Modal Type Theory - Where Meta-programming Meets Intensional Analysis ESOP 2024
- A Layered Approach to Intensional Analysis in Type Theory TOPLAS 2024
- Analyzing Program Analyses POPL 2015
- A reasonably exceptional type theory ICFP 2019
- When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism POPL 2024