Staged Computation with Staged Lexical Scope
Abstract elided by the publisher.
Related papers
- Terra: a multi-stage language for high-performance computing PLDI 2013
- Multi-stage programming in the large with staged classes GPCE 2020
- Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroML ICFP 2001
- Mint: Java multi-stage programming using weak separability PLDI 2010
- Staging for generic programming in space and time GPCE 2017
- A Language with Distributed Scope POPL 1995
- On Stage Ordering in Staged Computation GPCE 2003
- Shifting the stage - Staging with delimited control JFP 2011