Automatically Splitting a Two-Stage Lambda Calculus
No abstract available.
Related papers
- Lambda-Splitting: A Higher-Order Approach to Cross-Module Optimizations ICFP 1997
- A Dependently Typed Multi-stage Calculus APLAS 2019
- Inlining as staged computation JFP 2003
- Mœbius: metaprogramming using contextual types: the stage where system f can pattern match on itself POPL 2022
- Automatic Binding Time Analysis for a Typed Lambda-Calculus POPL 1988
- The Essence of Generalized Algebraic Data Types POPL 2024
- A Self-Applicable Partial Evaluator for the Lambda Calculus: Correctness and Pragmatics TOPLAS 1992
- A verified staged interpreter is a verified compiler GPCE 2006