Comparing Control Constructs by Double-barrelled CPS (2002)

Cached

Download Links

by Hayo Thielecke
Venue:Higher-order and Symbolic Computation
Citations:17 - 2 self

Active Bibliography

7 Comparing Control Constructs by Typing Double-barrelled CPS Transforms – Hayo Thielecke - 2001
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
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
13 An Introduction to Landin's "A Generalization of Jumps and Labels " – Hayo Thielecke
11 Using a Continuation Twice and Its Implications for the Expressive Power of Call/cc – Hayo Thielecke - 1998
5 On the call-by-value CPS transform and its semantics – Carsten Führmann , Hayo Thielecke - 2004
32 A Semantic analysis of control – James David Laird - 1998
15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
14 A type-theoretic foundation of delimited continuations. Higher Order Symbol – Zena M. Ariola, Hugo Herbelin, Amr Sabry - 2009
11 A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations – Dariusz Biernacki, Olivier Danvy, Kevin Millikin - 2006
13 Refunctionalization at Work – Olivier Danvy, Kevin Millikin - 2008
34 Modeling Web Interactions – Paul Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen - 2003
1 Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines – Olivier Danvy - 2008
Continuations, Functions and Jumps – Jon G. Riecke, Hayo Thielecke - 1999
DOI: 10.1007/s10849-006-0541-6 Types as Graphs: Continuations in Type Logical – unknown authors - 2004
3 Linear Continuation-Passing – Josh Berdine, Peter O'Hearn, Uday Reddy, Hayo Thielecke - 2002