The Call-by-Need Lambda Calculus (1994)

View PDF

Download Links

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

Documents Related by Co-Citation

196 A Natural Semantics for Lazy Evaluation – John Launchbury - 1993
193 Parameter-Passing and the Lambda Calculus – Erik Crank, Matthias Felleisen - 1991
1184 The Lambda Calculus: Its Syntax and Semantics – H P Barendregt - 1984
561 The implementation of functional programming languages – S L Peyton Jones - 1987
410 Explicit substitutions – M. Abadi, L. Cardelli, P.-L. Curien, J.-J. Lévy - 1996
457 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
1373 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
349 The mechanical evaluation of expressions – P J Landin - 1964
576 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992