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

Active Bibliography

1 The Call-by-need Lambda Calculus, Revisited – Stephen Chang, Matthias Felleisen
unknown title – unknown authors
8 Small-step and big-step semantics for call-by-need – Keiko Nakata, et al. - 2009
18 A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines – Małgorzata Biernacka, Olivier Danvy - 2005
On Inter-deriving Small-step and Big-step Semantics: A Case Study for Storeless Call-by-need Evaluation – Olivier Danvy A, Kevin Millikin B, Johan Munk C, Ian Zerny A
Under consideration for publication in J. Functional Programming 1 Lazy modules – Keiko Nakata - 2009
12 Purely Functional Lazy Non-deterministic Programming – Sebastian Fischer, Chung-chieh Shan
1 Tracing the Evaluation of Lazy Functional Languages: a Model and its Implementation – Richard Watson, Eric Salzman - 1997
19 On the Dynamic Extent of Delimited Continuations – Dariusz Biernacki, Olivier Danvy - 2005
1 Denotational semantics for lazy initialization of letrec black – Keiko Nakata
4 A study of syntactic and semantic artifacts and its application to lambda definability, strong normalization, and weak normalization in the presence of state – Johan Munk - 2008
1 Diagrams for Meaning Preservation – J. B. Wells, Wells Detlef Plump, Fairouz Kamareddine - 2003
7 FUNDIO: A Lambda-Calculus with a letrec, case, Constructors, and an IO-Interface: Approaching a Theory of unsafePerformIO – Manfred Schmidt-Schauß - 2003
1 Reasoning about Selective Strictness -- Operational Equivalence, Heaps and Call-by-Need Evaluation, New Inductive Principles – Seyed H. Haeri - 2009
Reasoning about Selective Strictness -- Operational Equivalence, Heaps and Call-by-Need Evaluation, New Inductive Principles – Seyed H. Haeri (Hossein) - 2009
34 A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines – Mads Sig Ager, Olivier Danvy, Jan Midtgaard - 2004
2 A Substructural Type System for Delimited Continuations ⋆ – Oleg Kiselyov, Chung-chieh Shan
1 A Systematic Approach to Delimited Control with Multiple Prompts – Paul Downen, Zena M. Ariola
Signed Date – Richard Douglas Watson, Be Mengsc Dipcompsc