|
7
|
Comparing Control Constructs by Typing Double-barrelled CPS Transforms
– Hayo Thielecke
- 2001
|
|
23
|
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
|
|
6
|
Combining algebraic effects with continuations
– Martin Hyland, Paul Blain Levy , Gordon Plotkin , John Power
- 2007
|
|
17
|
On the Dynamic Extent of Delimited Continuations
– Dariusz Biernacki, Olivier Danvy
- 2005
|
|
20
|
Definitional interpreters revisited
– John C. Reynolds, In Late, Jean Sammet, Burt Leavenworth, Art Evans
- 1998
|
|
17
|
A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines
– Małgorzata Biernacka, Olivier Danvy
- 2005
|
|
12
|
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
|
|
31
|
A Semantic analysis of control
– James David Laird
- 1998
|
|
13
|
The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms
– Amr A. Sabry
- 1994
|
|
9
|
Refunctionalization at Work
– Olivier Danvy, Kevin Millikin
- 2008
|
|
11
|
A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations
– Dariusz Biernacki, Olivier Danvy, Kevin Millikin
- 2006
|
|
8
|
A type-theoretic foundation of delimited continuations. Higher Order Symbol
– Zena M. Ariola, Hugo Herbelin, Amr Sabry
- 2009
|
|
29
|
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
|
|
3
|
Linear Continuation-Passing
– Josh Berdine, Peter O'Hearn, Uday Reddy, Hayo Thielecke
- 2002
|
