A Natural Semantics for Lazy Evaluation (1993)

Cached

Download Links

by John Launchbury
Citations:180 - 3 self

Documents Related by Co-Citation

186 Parameter-Passing and the Lambda Calculus – Erik Crank, Matthias Felleisen - 1991
35 Cyclic Lambda Graph Rewriting – Zena M. Ariola, Jan Willem Klop - 1994
187 Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine - Version 2.5 – Simon L Peyton Jones - 1992
112 Equivalence in Functional Languages with Effects – Ian Mason, Carolyn Talcott - 1991
59 The Design and Implementation of Programming Languages – R J M Hughes - 1984
255 The Revised Report on the Syntactic Theories of Sequential Control and State – Matthias Felleisen, Matthias Felleisen, Robert Hieb, Robert Hieb - 1992
10 A Modular Fully-lazy Lambda Lifter in HASKELL – Simon L. Peyton Jones, David Lester - 1991
625 Compiling With Continuations – A W Appel - 1992
120 The Glasgow Haskell compiler: a technical overview – Simon L. Peyton Jones, Cordy Hall, Kevin Hammond, Jones Cordy, Hall Kevin, Will Partain, Phil Wadler - 1992
64 Cheap Deforestation for Non-strict Functional Languages – Andrew John Gill, Andrew John Gill - 1996
540 The Implementation of Functional Programming Languages – Peyton Jones, S L - 1987
390 Explicit substitutions – M. Abadi, L. Cardelli, P.-L. Curien, J.-J. Lévy - 1996
23 An adequate operational semantics of sharing in lazy evaluation – S PURUSHOTHAMAN, J SEAMAN - 1992
260 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
315 Functions as processes – R Milner - 1990
439 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
1125 The Lambda Calculus: Its Syntax and Semantics – H P Barendregt - 1981
27 Modeling Sharing and Recursion for Weak Reduction Strategies using Explicit Substitution – Zine-El-Abidine Benaissa, Pierre Lescanne, Kristoffer H. Rose, Inria Lorraine - 1996
40 Improvement in a Lazy Context: An Operational Theory for Call-By-Need – Andrew Moran, David Sands - 1999