|
11
|
A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations
– Dariusz Biernacki, Olivier Danvy, Kevin Millikin
- 2006
|
|
4
|
A monadic framework for subcontinuations
– R. Kent Dybvig, Simon Peyton Jones, Amr Sabry
- 2005
|
|
17
|
On the Dynamic Extent of Delimited Continuations
– Dariusz Biernacki, Olivier Danvy
- 2005
|
|
17
|
A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines
– Małgorzata Biernacka, Olivier Danvy
- 2005
|
|
6
|
A Modal Calculus for Effect Handling
– Aleksandar Nanevski
- 2003
|
|
23
|
Delimited Dynamic Binding
– Oleg Kiselyov, Chung-chieh Shan , Amr Sabry
- 2006
|
|
13
|
The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms
– Amr A. Sabry
- 1994
|
|
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
|
|
23
|
A rational deconstruction of Landin’s SECD machine
– Olivier Danvy, Kevin Millikin
- 2004
|
|
8
|
A type-theoretic foundation of delimited continuations. Higher Order Symbol
– Zena M. Ariola, Hugo Herbelin, Amr Sabry
- 2009
|
|
|
Première partie
– unknown authors
|
|
2
|
A program logic for higher-order procedural variables . . . .
– T. Crolard, et al.
- 2009
|
|
2
|
A Substructural Type System for Delimited Continuations ⋆
– Oleg Kiselyov, Chung-chieh Shan
|
|
|
Subcontinuations
– Robert Hieb, R. Kent Dybvig, Claude W. Anderson
- 1993
|
|
11
|
A Library of High Level Control Operators
– Christian Queinnec
- 1993
|
|
69
|
Representing control: a study of the CPS transformation
– Olivier Danvy, Andrzej Filinski
- 1992
|
|
8
|
Polymorphic Delimited Continuations
– Kenichi Asai, Yukiyoshi Kameyama
- 2007
|
|
29
|
Reasoning with Continuations II: Full Abstraction for Models of Control
– Dorai Sitaram, Matthias Felleisen
- 1990
|
