A Natural Semantics for Lazy Evaluation (1993)

Cached

Download Links

by John Launchbury
Citations:180 - 3 self

Active Bibliography

A Natural Semantics for I&y Evaluation – unknown authors
4 The Call-by-Need Lambda Calculus (Unabridged) – John Maraist, Martin Odersky, Philip Wadler - 1994
2 The Spineless Tagless G-machine, naturally – Jon Mountjoy - 1998
40 Improvement in a Lazy Context: An Operational Theory for Call-By-Need – Andrew Moran, David Sands - 1999
25 Explicit Cyclic Substitutions – Kristoffer Høgsbro Rose - 1993
© 2007 Science Publications Operational Semantics for Lazy Evaluation – Mahmoud A. Abou Ghaly, Sameh S. Daoud, Azza A. Taha, Salwa M. Aly
© 2008 Science Publications Semantics of Lazy Evaluation using the Two-Level Grammar – Mahmoud A. Aboughaly, Sameh S. Daoud, Azza A. Taha, Salwa M. Aly
34 A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines – Mads Sig Ager, Olivier Danvy, Jan Midtgaard - 2004
4 Graph Rewriting Systems For Efficient Compilation – Z. M. Ariola, Arvind - 1993
186 Parameter-Passing and the Lambda Calculus – Erik Crank, Matthias Felleisen - 1991
1 Reasoning about Selective Strictness -- Operational Equivalence, Heaps and Call-by-Need Evaluation, New Inductive Principles – Seyed H. Haeri - 2009
Reasoning about Selective Strictness -- Operational Equivalence, Heaps and Call-by-Need Evaluation, New Inductive Principles – Seyed H. Haeri (Hossein) - 2009
6 Towards the uniform implementation of declarative languages – Manuel M. T. Chakravarty, Hendrik C. R. Lock - 1997
17 Compilation of Functional Languages Using Flow Graph Analysis – Pieter H. Hartel, Hugh Glaser, John M. Wild - 1994
13 The GRIN Project: A Highly Optimising Back End for Lazy Functional Languages – Urban Boquist, Thomas Johnsson - 1996
5 Fold-Unfold Transformations On State Monadic Interpreters – Thomas Johnsson - 1994
4 Partitioning Non-strict Languages for Multi-threaded Code Generation – Satyan R. Coorg, Frederic R. Morgenthaler - 1994
12 Semantics of pH: A parallel dialect of Haskell – Shail Aditya, Arvind, Jan-Willem Maessen, Lennart Augustsson, Rishiyur S. Nikhil - 1995
1 The Call-by-need Lambda Calculus, Revisited – Stephen Chang, Matthias Felleisen