Optimizing Lazy Functional Programs Using Flow Inference
Abstract elided by the publisher.
Related papers
- Cheap eagerness: speculative evaluation in a lazy functional language ICFP 2000
- Automatic inference of optimizer flow functions from semantic meanings PLDI 2007
- Precise Concrete Type Inference for Object-Oriented Languages OOPSLA 1994
- Stochastic Lazy Knowledge Compilation for Inference in Discrete Probabilistic Programs PLDI 2025
- R melts brains: an IR for first-class environments and lazy effectful arguments DLS 2019
- Simple and Effective Type Check Removal through Lazy Basic Block Versioning ECOOP 2015
- Functional programming with the FC++ library JFP 2004
- Contract-based resource verification for higher-order functions with memoization POPL 2017