Reasoning about Multi-stage Programs
No abstract available.
Related papers
- Reasoning about multi-stage programs JFP 2016
- Let It Be Optimized: Building Multi-stage Evaluators with Let-Insertion and Optimizations in Small Pieces (Functional Pearl) ICFP 2026
- FunTAL: reasonably mixing a functional language with assembly PLDI 2017
- Staging with control: type-safe multi-stage programming with control operators GPCE 2017
- A multi-stage language with intensional analysis GPCE 2006
- BuildIt: A Type-Based Multi-stage Programming Framework for Code Generation in C++ CGO 2021
- Multi-Stage Programming ICFP 1997
- Polymorphic Multi-stage Language with Control Effects APLAS 2011