Compiling Laziness Using Projections
Abstract elided by the publisher.
Related papers
- Lazy tree splitting ICFP 2010
- A Relationship Between Abstract Interpretation and Projection Analysis POPL 1990
- Compile-Time Garbage Collection for Lazy Functional Languages ISMM 1995
- Efficient compilation of lazy evaluation PLDI 1984
- Strictness Analysis Aids Time Analysis POPL 1988
- PureCake: A Verified Compiler for a Lazy Functional Language PLDI 2023
- Stochastic Lazy Knowledge Compilation for Inference in Discrete Probabilistic Programs PLDI 2025
- Compiling lazy functional programs for the Java Virtual Machine JFP 1999