Parameter-Passing and the Lambda Calculus (1991)

by Erik Crank , Matthias Felleisen
Citations:186 - 23 self

Active Bibliography

35 Cyclic Lambda Graph Rewriting – Zena M. Ariola, Jan Willem Klop - 1994
36 Cyclic Lambda Calculi – Zena M. Ariola, Stefan Blom - 1997
Reasoning about Selective Strictness -- Operational Equivalence, Heaps and Call-by-Need Evaluation, New Inductive Principles – Seyed H. Haeri (Hossein) - 2009
1 Reasoning about Selective Strictness -- Operational Equivalence, Heaps and Call-by-Need Evaluation, New Inductive Principles – Seyed H. Haeri - 2009
1 The Call-by-need Lambda Calculus, Revisited – Stephen Chang, Matthias Felleisen
6 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
39 Interaction Systems I: The theory of optimal reductions – Andrea Asperti, Cosimo Laneve - 1994
38 Improvement in a Lazy Context: An Operational Theory for Call-By-Need – Andrew Moran, David Sands - 1999
4 The Call-by-Need Lambda Calculus (Unabridged) – John Maraist, Martin Odersky, Philip Wadler - 1994
7 On Global Dynamics of Optimal Graph Reduction – Julia L. Lawall, Harry G. Mairson - 1997
18 Optimality and Inefficiency : What Isn't a Cost Model of the Lambda Calculus? – Julia Lawall, Harry G. Mairson - 1996
39 The Call-by-Need Lambda Calculus – John Maraist, Martin Odersky, Philip Wadler - 1994
22 Properties of a First-order Functional Language with Sharing – Zena M. Ariola, Arvind, Zena M. Ariola - 1994
28 Call-by-Name, Call-by-Value, Call-by-Need, and the Linear Lambda Calculus – John Maraist, Martin Odersky, David N. Turner, Philip Wadler - 1994
Implementing β-Reduction by Hypergraph Rewriting – Sabine Kuske, Fachbereich Mathematik Und Informatik - 1995
10 Dynamic Slicing In Higher-Order Programming Languages – Sandip K. Biswas, Carl A. Gunter, Insup Lee - 1997
60 Models of Sharing Graphs: A Categorical Semantics of let and letrec – Masahito Hasegawa - 1997
7 FUNDIO: A Lambda-Calculus with a letrec, case, Constructors, and an IO-Interface: Approaching a Theory of unsafePerformIO – Manfred Schmidt-Schauß - 2003
5 Explicit Substitutions and Programming Languages – Jean-jacques Lévy, Luc Maranget - 1999