Parameter-Passing and the Lambda Calculus (1991)

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

Documents Related by Co-Citation

255 The Revised Report on the Syntactic Theories of Sequential Control and State – Matthias Felleisen, Matthias Felleisen, Robert Hieb, Robert Hieb - 1992
180 A Natural Semantics for Lazy Evaluation – John Launchbury - 1993
439 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
283 The Lambda Calculus: Its Syntax and Semantics. Volume 103 – H P Barendregt - 1984
116 A syntactic theory of sequential control – M Felleisen, D P Friedman, E Kohlbecker, B Duba - 1987
35 Cyclic Lambda Graph Rewriting – Zena M. Ariola, Jan Willem Klop - 1994
390 Explicit substitutions – M. Abadi, L. Cardelli, P.-L. Curien, J.-J. Lévy - 1996
38 A syntactic theory of sequential state – M Felleisen, D P Friedman - 1989
27 Modeling Sharing and Recursion for Weak Reduction Strategies using Explicit Substitution – Zine-El-Abidine Benaissa, Pierre Lescanne, Kristoffer H. Rose, Inria Lorraine - 1996
150 Elements of Interaction – Robin Milner - 1993
616 Light Linear Logic – Jean-yves Girard
13 The semantics of lazy functional languages – M B Josephs - 1989
112 Equivalence in Functional Languages with Effects – Ian Mason, Carolyn Talcott - 1991
83 Control operators, the SECD machine and the -calculus – M Felleisen, D P Friedman - 1986
574 A Transformation System for Developing Recursive Programs – R. M. Burstall, John Darlington - 1977
234 Principal type schemes for functional programs – R Milner - 1982
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
1125 The Lambda Calculus: Its Syntax and Semantics – H P Barendregt - 1981
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992