Type and Effect System for Multi-staged Exceptions
No abstract available.
Related papers
- Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroML ICFP 2001
- Type-Safe Code Generation with Algebraic Effects and Handlers GPCE 2024
- Mint: Java multi-stage programming using weak separability PLDI 2010
- Mechanised Semantics of Multi-stage Programming OOPSLA 2026
- Closed types for a safe imperative MetaML JFP 2003
- A polymorphic modal type system for lisp-like multi-staged languages POPL 2006
- Polymorphic Multi-stage Language with Control Effects APLAS 2011
- Staged Compilation with Module Functors ICFP 2024