|
11
|
A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations
– Dariusz Biernacki, Olivier Danvy, Kevin Millikin
- 2006
|
|
17
|
A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines
– Małgorzata Biernacka, Olivier Danvy
- 2005
|
|
23
|
A rational deconstruction of Landin’s SECD machine
– Olivier Danvy, Kevin Millikin
- 2004
|
|
13
|
The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms
– Amr A. Sabry
- 1994
|
|
5
|
Value Transforming Style
– Christian Queinnec
- 1992
|
|
7
|
Threads Yield Continuations
– Sanjeev Kumar, Carl Bruggeman, R. Kent Dybvig
- 1997
|
|
13
|
An Operational Foundation for Delimited Continuations
– Malgorzata Biernacka, Dariusz Biernacki, Olivier Danvy
- 2003
|
|
19
|
Partial Continuations as the Difference of Continuations, A Duumvirate of Control Operators
– Luc Moreau, Christian Queinnec
- 1994
|
|
10
|
A Monadic Framework for Delimited Continuations
– R. Kent Dybvig, Simon Peyton Jones, Amr Sabry
|
|
3
|
A Rational Deconstruction of Landin’s J Operator
– Olivier Danvy, Kevin Millikin
- 2006
|
|
17
|
On the Dynamic Extent of Delimited Continuations
– Dariusz Biernacki, Olivier Danvy
- 2005
|
|
69
|
Representing control: a study of the CPS transformation
– Olivier Danvy, Andrzej Filinski
- 1992
|
|
150
|
Reasoning about Programs in Continuation-Passing Style
– Amr Sabry Sabry, Matthias Felleisen
|
|
16
|
Metalevel Building Blocks for Modular Systems
– Suresh Jagannathan
- 1994
|
|
|
Subcontinuations
– Robert Hieb, R. Kent Dybvig, Claude W. Anderson
- 1993
|
|
3
|
On some Functional Aspects of Control
– Olivier Danvy
- 1988
|
|
9
|
Refunctionalization at Work
– Olivier Danvy, Kevin Millikin
- 2008
|
|
7
|
Language Extension via First-class Interpreters
– John Wiseman Simmons, II, Stanley Jefferson, Daniel P. Friedman
- 1992
|
|
|
A Reflective System is as Extensible as its Internal Representations: An Illustration
– John Wiseman Simmons, II, John Wiseman, Simmons Ii, Daniel P. Friedman
- 1992
|
