A.: Lazy evaluation and delimited control (2009)

Cached

Download Links

by Ronald Garcia , Andrew Lumsdaine , Amr Sabry
Venue:In: POPL ’09: Proceedings of the 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Citations:11 - 0 self

Documents Related by Co-Citation

186 Parameter-Passing and the Lambda Calculus – Erik Crank, Matthias Felleisen - 1991
9 Defunctionalized interpreters for call-by-need evaluation – O Danvy, K Millikin, J Munk, I Zerny - 2010
17 Call-by-need and Continuation-passing Style – Chris Okasaki, Peter Lee, David Tarditi - 1993
328 An algorithmic interpretation of classical natural deduction – M Parigot - 1992
7 The call-by-need λ-calculus – J Maraist, M Odersky, P Wadler - 1998
39 The Call-by-Need Lambda Calculus – John Maraist, Martin Odersky, Philip Wadler - 1994
180 A Natural Semantics for Lazy Evaluation – John Launchbury - 1993
1125 The Lambda Calculus: Its Syntax and Semantics – H P Barendregt - 1981
21 From Reduction-Based to Reduction-Free Normalization – Olivier Danvy - 2004
4 Classical Call-by-need and duality – Zena M. Ariola, Hugo Herbelin, Alexis Saurin
4 Control Reduction Theories: The Bene t of Structural Substitution – Zena M Ariola, Hugo Herbelin
67 Deriving a Lazy Abstract Machine – Peter Sestoft - 1997
116 A syntactic theory of sequential control – M Felleisen, D P Friedman, E Kohlbecker, B Duba - 1987
162 Duality of computation – Pierre-louis Curien - 2005
14 A type-theoretic foundation of delimited continuations. Higher Order Symbol – Zena M. Ariola, Hugo Herbelin, Amr Sabry - 2009
171 Call-by-name, call-by-value, and the lambda calculus – Gordon Plotkin - 1975
43 Semantics Engineering with PLT Redex – M Felleisen, R B Findler, M Flatt - 2009
2 The Objective Caml system, release 3.11 [online]. Available at: http://caml.inria.fr/ (Accessed 29 – X Leroy, D Doligez, J Garrigue, D Rémy, J Vouillon - 2008
2 The F# programming language [online]. Available at: http://research.microsoft.com/en-us/um/people/curtisvv/fsharp_default.aspx (Accessed 29 – D Syme, J Margetson - 2008