Parameter-Passing and the Lambda Calculus (1991)

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

Documents Related by Co-Citation

257 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
441 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
619 Light Linear Logic – Jean-yves Girard
570 A Transformation System for Developing Recursive Programs – R. M. Burstall, John Darlington - 1977
1118 The Lambda Calculus: its Syntax and Semantics – H P Barendregt - 1984
540 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
731 Notions of Computation and Monads – Eugenio Moggi - 1991
390 Explicit substitutions – M. Abadi, L. Cardelli, P.-L. Curien, J.-J. Lévy - 1996