Formalizing Implementation Strategies for First-Class Continuations (2000)

by O. Danvy , Olivier Danvy
Venue:in [31
Citations:21 - 5 self

Active Bibliography

18 A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines – Małgorzata Biernacka, Olivier Danvy - 2005
11 A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations – Dariusz Biernacki, Olivier Danvy, Kevin Millikin - 2006
15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
27 A rational deconstruction of Landin’s SECD machine – Olivier Danvy, Kevin Millikin - 2004
3 A Rational Deconstruction of Landin’s J Operator – Olivier Danvy, Kevin Millikin - 2006
1 Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines – Olivier Danvy - 2008
18 Compiling Standard ML For Efficient Execution On Modern Machines – Zhong Shao - 1994
6 Higher-Order Rewriting and Partial Evaluation – Kristoffer H. Rose, Olivier Danvy - 1998
Towards Compatible and Interderivable . . . Part I: Denotational Semantics, Natural Semantics, and Abstract Machines – Olivier Danvy - 2008
9 Proving Syntactic Properties of Exceptions in an Ordered Logical Framework – Jeff Polakow, Kwangkeun Yi
13 Refunctionalization at Work – Olivier Danvy, Kevin Millikin - 2008
70 Defunctionalization at Work – Olivier Danvy, Lasse R. Nielsen - 2001
13 A Library of High Level Control Operators – Christian Queinnec - 1993
29 An Empirical and Analytic Study of Stack vs. Heap Cost for Languages with Closures – Andrew W. Appel, Zhong Shao - 1993
19 On the Dynamic Extent of Delimited Continuations – Dariusz Biernacki, Olivier Danvy - 2005
On the Idempotence of the CPS Transformation – Olivier Danvy, Karoline Malmkjær - 1996
67 Space-Efficient Closure Representations – Zhong Shao, Andrew W. Appel - 1994
17 An Operational Foundation for Delimited Continuations – Malgorzata Biernacka, Dariusz Biernacki, Olivier Danvy - 2003
5 Compiler Construction Using Scheme – Erik Hilsdale, J. Michael Ashley, R. Kent Dybvig, R. Kent, Dybvig Daniel, Daniel P. Friedman - 1995