Call-by-Name, Call-by-Value, Call-by-Need, and the Linear Lambda Calculus (1994)

by John Maraist , Martin Odersky , David N. Turner , Philip Wadler
Citations:28 - 5 self

Documents Related by Co-Citation

186 Parameter-Passing and the Lambda Calculus – Erik Crank, Matthias Felleisen - 1991
280 Computational Interpretations of Linear Logic – Samson Abramsky - 1993
439 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
616 Light Linear Logic – Jean-yves Girard
72 A syntax for linear logic – Philip Wadler - 1993
320 The Calculi of LambdaConversion – Alonzo Church - 1941
180 A Natural Semantics for Lazy Evaluation – John Launchbury - 1993
1125 The Lambda Calculus: Its Syntax and Semantics – H P Barendregt - 1981
171 Call-by-name, call-by-value, and the lambda calculus – Gordon Plotkin - 1975
99 What is a Categorical Model of Intuitionistic Linear Logic? – G.M. Bierman, A \gamma A, Gamma \delta \gamma C, Gamma I \gamma A, Gamma A B \gamma C, B \gamma C - 1995
89 Dual intuitionistic linear logic – A Barber, G Plotkin - 1997
111 Semantics and Pragmatics of the Lambda Calculus – C Wadsworth - 1971
445 The formulae-as-types notion of construction – W A Howard - 1980
163 Interaction nets – Y Lafont - 1990
390 Explicit substitutions – M. Abadi, L. Cardelli, P.-L. Curien, J.-J. Lévy - 1996
88 Is there a use for linear logic? – Philip Wadler - 1991
134 Linear Types Can Change the World! – Philip Wadler - 1990
39 The Call-by-Need Lambda Calculus – John Maraist, Martin Odersky, Philip Wadler - 1994
364 Confluent reductions: Abstract properties and applications to term rewriting systems – G Huet - 1980