Back to Direct Style II: First-Class Continuations (1996)

by Olivier Danvy , Julia L. Lawall
Venue:IN PROCEEDINGS OF THE 1992 ACM CONFERENCE ON LISP AND FUNCTIONAL PROGRAMMING
Citations:51 - 16 self

Active Bibliography

Languages, Performance – unknown authors
Polymorphic Type Assignment and CPS Conversion – Robert Harper Mark, Mark Lillibridge - 1992
9 There and Back Again – Olivier Danvy, Olivier Danvy, Mayer Goldberg, Mayer Goldberg, Mayer Goldberg - 2001
This document in subdirectory RS/01/39 / There and Back Again ∗ – Olivier Danvy, Mayer Goldberg, Olivier Danvy, Mayer Goldberg, Olivier Danvy, Mayer Goldberg - 2001
9 A realistic compiler generator based on high-level semantics – Peter Lee, Uwe Pleban - 1987
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
13 Embedding Type Structure in Semantics – Mitchell Wand - 1985
On the Idempotence of the CPS Transformation – Olivier Danvy, Karoline Malmkjær - 1996
Languages, Performance – Martin Gasbichler, Michael Sperber, Universität Tübingen
11 A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations – Dariusz Biernacki, Olivier Danvy, Kevin Millikin - 2006
35 Polymorphic type assignment and CPS conversion – Robert Harper, Mark Lillibridge - 1993
18 A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines – Małgorzata Biernacka, Olivier Danvy - 2005
21 Definitional interpreters revisited – John C. Reynolds, In Late, Jean Sammet, Burt Leavenworth, Art Evans - 1998
19 On the Dynamic Extent of Delimited Continuations – Dariusz Biernacki, Olivier Danvy - 2005
10 First-Class Nonstandard Interpretations by Opening Closures – Jeffrey Mark Siskind - 2007
12 Three Steps for the CPS Transformation – Olivier Danvy - 1991
15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
110 The Discoveries of Continuations – John C. Reynolds - 1993