Lazy Annotation Revisited
Abstract elided by the publisher.
Related papers
- The Call-by-Need Lambda Calculus, Revisited ESOP 2012
- Lazy Annotation for Program Testing and Verification CAV 2010
- Lazy rewriting on eager machinery TOPLAS 2000
- Lightweight computation tree tracing for lazy functional languages PLDI 2016
- Story of Your Lazy Function's Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs ICFP 2024
- Automatic amortised analysis of dynamic memory allocation for lazy functional programs ICFP 2012
- Autobahn: using genetic algorithms to infer strictness annotations Haskell 2016
- Eager Haskell: resource-bounded execution yields efficient iteration Haskell 2002