Call-by-need and Continuation-passing Style (1993)

Cached

Download Links

by Chris Okasaki , Peter Lee , David Tarditi
Venue:Lisp and Symbolic Computation
Citations:17 - 0 self

Documents Related by Co-Citation

186 Parameter-Passing and the Lambda Calculus – Erik Crank, Matthias Felleisen - 1991
161 Reasoning about Programs in Continuation-Passing Style – Amr Sabry Sabry, Matthias Felleisen
11 A.: Lazy evaluation and delimited control – Ronald Garcia, Andrew Lumsdaine, Amr Sabry - 2009
1125 The Lambda Calculus: Its Syntax and Semantics – H P Barendregt - 1981
328 An algorithmic interpretation of classical natural deduction – M Parigot - 1992
7 The call-by-need λ-calculus – J Maraist, M Odersky, P Wadler - 1998
9 Defunctionalized interpreters for call-by-need evaluation – O Danvy, K Millikin, J Munk, I Zerny - 2010
39 The Call-by-Need Lambda Calculus – John Maraist, Martin Odersky, Philip Wadler - 1994
180 A Natural Semantics for Lazy Evaluation – John Launchbury - 1993
220 Call-by-name, call-by-value and the -calculus – G D Plotkin - 1975
625 Compiling With Continuations – A W Appel - 1992
730 Notions of Computation and Monads – Eugenio Moggi - 1991
4 Classical Call-by-need and duality – Zena M. Ariola, Hugo Herbelin, Alexis Saurin
105 Danvy and Andrzej Filinski. Representing control: A study of the CPS transformation – Olivier - 1992
171 Call-by-name, call-by-value, and the lambda calculus – Gordon Plotkin - 1975
22 Thunks: a way of compiling procedure statements with some comments on procedure declarations – P Z Ingerman - 1961
99 A Set of Postulates for the Foundation of Logic – A Church - 1932
240 A Formulae-as-Types Notion of Control – Timothy G. Griffin - 1990
110 The Discoveries of Continuations – John C. Reynolds - 1993