From Interpreting to Compiling Binding Times
Abstract elided by the publisher.
Related papers
- Binding-Time Analysis and Strictness Analysis by Abstract Interpretation SAS 1995
- An abstract interpretation for SPMD divergence on reducible control flow graphs POPL 2021
- Using Transformations in the Implementations of Higher-Order Functions JFP 1991
- Hybrid partial evaluation OOPSLA 2011
- A Polyvariant Binding-Time Analysis for Off-line Partial Deduction ESOP 1998
- Partial-Evaluation Templates: Accelerating Partial Evaluation with Pre-compiled Templates CGO 2026
- Compiling with Arrays ECOOP 2024
- Scopes and Frames Improve Meta-Interpreter Specialization ECOOP 2019