The Call-by-Need Lambda Calculus (1994)

Cached

Download Links

by John Maraist , Martin Odersky , Philip Wadler
Venue:Journal of Functional Programming
Citations:39 - 2 self

Documents Related by Co-Citation

181 A Natural Semantics for Lazy Evaluation – John Launchbury - 1993
186 Parameter-Passing and the Lambda Calculus – Erik Crank, Matthias Felleisen - 1991
1115 The Lambda Calculus: Its Syntax and Semantics – H P Barendregt - 1981
36 Cyclic Lambda Calculi – Zena M. Ariola, Stefan Blom - 1997
11 Call-by-name, call-by-need, and McCarthy’s Amb – A Moran - 1998
20 Erratic Fudgets: A Semantic Theory for an Embedded Coordination Language – Andrew Moran, David Sands, Magnus Carlsson - 2003
134 Linear Types Can Change the World! – Philip Wadler - 1990
81 Once Upon a Type – David Turner, Philip Wadler, Christian Mossin - 1995
330 The mechanical evaluation of expressions – P J Landin - 1964
257 The Revised Report on the Syntactic Theories of Sequential Control and State – Matthias Felleisen, Matthias Felleisen, Robert Hieb, Robert Hieb - 1992
940 Term Rewriting and All That – F Baader, T Nipkow - 1998
17 Call-by-need and Continuation-passing Style – Chris Okasaki, Peter Lee, David Tarditi - 1993
14 A call-by-need lambda-calculus with locally bottom-avoiding choice: Context lemma and correctness of transformations – David Sabel, Manfred Schmidt-schauß - 2008
38 Lambda Calculus with Explicit Recursion – Z. M. Ariola, J. W. Klop, Issn -x, Zena M. Ariola, Jan-Willem Klop - 1996
171 Call-by-name, call-by-value, and the lambda calculus – G Plotkin - 1975
65 Deriving a Lazy Abstract Machine – Peter Sestoft - 1997
43 Non-Determinism in Functional Languages – H Sondergaard, P Sestoft - 1992
536 The Implementation of Functional Programming Languages – Simon L Peyton Jones - 1987
391 Explicit substitutions – M. Abadi, L. Cardelli, P.-L. Curien, J.-J. Lévy - 1996