|
26
|
Call-by-Name, Call-by-Value, Call-by-Need, and the Linear Lambda Calculus
– John Maraist, Martin Odersky, David N. Turner, Philip Wadler
- 1994
|
|
4
|
The Call-by-Need Lambda Calculus (Unabridged)
– John Maraist, Martin Odersky, Philip Wadler
- 1994
|
|
61
|
Models of Sharing Graphs: A Categorical Semantics of let and letrec
– Masahito Hasegawa
- 1997
|
|
31
|
Improvement in a Lazy Context: An Operational Theory for Call-By-Need
– Andrew Moran, David Sands
- 1999
|
|
|
The Call-by-need Lambda Calculus, Revisited
– Stephen Chang, Matthias Felleisen
|
|
|
A Survey of Sequential and Parallel Implementation Techniques for Functional Programming Languages
– Ralph C. Hilzer, Jr. , Lawrence A. Crowl
- 1995
|
|
166
|
Parameter-Passing and the Lambda Calculus
– Erik Crank, Matthias Felleisen
- 1991
|
|
34
|
Cyclic Lambda Calculi
– Zena M. Ariola, Stefan Blom
- 1997
|
|
5
|
lambdaS: an implicitly parallel lambda-calculus with recursive bindings, synchronization and side effects
– Arvind, Joe E. Stoy, Jan-willem Maessen, Jan-willem Maessen, Rishiyur S. Nikhil, Rishiyur S. Nikhil, Joseph E. Stoy
|
|
|
Author manuscript, published in "Higher Order and Symbolic Computation (2007)" Explaining the lazy Krivine machine using explicit substitution and addresses
– Frédéric Lang
- 2007
|
|
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
|
|
7
|
Dynamic Slicing In Higher-Order Programming Languages
– Sandip K. Biswas, Carl A. Gunter, Insup Lee
- 1997
|
|
2
|
Addressed Term rewriting Systems: . . .
– Daniel J. Dougherty, Pierre Lescanne, Luigi Liquori
- 2006
|
|
2
|
What is an Efficient Implementation of the λ-calculus?
– Gudmund S. Frandsen, Carl Sturtivant
- 1991
|
|
2
|
What is an Efficient Implementation of the λ-calculus?
– Gudmund S. Frandsen, Carl Sturtivant
- 1991
|
|
5
|
Small-step and big-step semantics for call-by-need
– Keiko Nakata, et al.
- 2009
|
|
|
Denotational semantics for lazy initialization of letrec black
– Keiko Nakata
|
|
5
|
On Global Dynamics of Optimal Graph Reduction
– Julia L. Lawall, Harry G. Mairson
- 1997
|
