Junpei Oishi

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

2017

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 …