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

Abstract

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

Topics

  • Presentations referencing similar topics