Staging with control: type-safe multi-stage programming with control operators


Staging allows a programmer to write domain-specific, custom code generators. Ideally, a programming language for staging provides all necessary features for staging, and at the same time, gives static guarantee for the safety properties of generated code including well typedness and well scopedness. We address this classic problem for the language with… (More)
DOI: 10.1145/3136040.3136049

4 Figures and Tables


  • Presentations referencing similar topics