Laziness by Need
No abstract available.
Related papers
- Lazy Evaluation for the Lazy: Automatically Transforming Call-by-Value into Call-by-Need CC 2023
- Improvement in a Lazy Context: An Operational Theory for Call-by-Need POPL 1999
- Lazy evaluation and delimited control POPL 2009
- Call-by-need is clairvoyant call-by-value ICFP 2019
- On the design, implementation, and use of laziness in R OOPSLA 2019
- The Call-by-Need Lambda Calculus, Revisited ESOP 2012
- Deriving a Lazy Abstract Machine JFP 1997
- A simple and efficient implementation of strong call by need by an abstract machine JFP 2026