Improvement in a Lazy Context: An Operational Theory for Call-By-Need (1999)

by Andrew Moran , David Sands
Venue:Proc. POPL'99, ACM
Citations:43 - 8 self

Documents Related by Co-Citation

1184 The Lambda Calculus: Its Syntax and Semantics – H P Barendregt - 1984
196 A Natural Semantics for Lazy Evaluation – John Launchbury - 1993
424 Deforestation: Transforming programs to eliminate trees – P Wadler - 1990
766 Notions of Computation and Monads – Eugenio Moggi - 1991
193 Parameter-Passing and the Lambda Calculus – Erik Crank, Matthias Felleisen - 1991
269 The Revised Report on the Syntactic Theories of Sequential Control and State – Matthias Felleisen, Matthias Felleisen, Robert Hieb, Robert Hieb - 1992
1353 Monads for functional programming – Philip Wadler - 1995
561 The implementation of functional programming languages – S L Peyton Jones - 1987
3153 Graph-based algorithms for Boolean function manipulation – Randal E. Bryant - 1986