An Optimal Staging Algorithm
No abstract available.
Related papers
- Targeted Path Profiling: Lower Overhead Path Profiling for Staged Dynamic Optimization Systems CGO 2004
- Staging with control: type-safe multi-stage programming with control operators GPCE 2017
- Shifting the stage - Staging with delimited control JFP 2011
- Inlining as staged computation JFP 2003
- Towards automatic construction of staged compilers POPL 2002
- Unravelling Greedy Algorithms JFP 1992
- Let It Be Optimized: Building Multi-stage Evaluators with Let-Insertion and Optimizations in Small Pieces (Functional Pearl) ICFP 2026
- Quoted staged rewriting: a practical approach to library-defined optimizations GPCE 2017