|
11
|
A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations
– Dariusz Biernacki, Olivier Danvy, Kevin Millikin
- 2006
|
|
|
Subcontinuations
– Robert Hieb, R. Kent Dybvig, Claude W. Anderson
- 1993
|
|
11
|
A Library of High Level Control Operators
– Christian Queinnec
- 1993
|
|
10
|
A Monadic Framework for Delimited Continuations
– R. Kent Dybvig, Simon Peyton Jones, Amr Sabry
|
|
13
|
An Operational Foundation for Delimited Continuations
– Malgorzata Biernacka, Dariusz Biernacki, Olivier Danvy
- 2003
|
|
17
|
A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines
– Małgorzata Biernacka, Olivier Danvy
- 2005
|
|
19
|
Partial Continuations as the Difference of Continuations, A Duumvirate of Control Operators
– Luc Moreau, Christian Queinnec
- 1994
|
|
5
|
Revisiting Coroutines
– Ana Lucia de Moura, Roberto Ierusalimschy
- 2004
|
|
17
|
On the Dynamic Extent of Delimited Continuations
– Dariusz Biernacki, Olivier Danvy
- 2005
|
|
5
|
Value Transforming Style
– Christian Queinnec
- 1992
|
|
2
|
Return Types for Functional Continuations
– Carl A. Gunter, Didier Rémy, Jon G. Riecke
- 1998
|
|
17
|
Handling Control
– Dorai Sitaram
- 1993
|
|
5
|
A Portable Multiprocessor Interface for Standard ML of New Jersey
– J. Gregory Morrisett, Andrew Tolmach
- 1992
|
|
|
A Portable Multiprocessor Interface
– Andrew Tolmach
|
|
17
|
Debuggable Concurrency Extensions for Standard ML
– Andrew Tolmach
- 1991
|
|
54
|
A Generalization of Exceptions and Control in ML-like Languages
– Carl A. Gunter, Didier Rémy, Jon G. Riecke
- 1995
|
|
21
|
Design of a Concurrent and Distributed Language
– Christian Queinnec, David De Roure
- 1992
|
|
3
|
Sharing Continuations: Proofnets for Languages With Explicit Control
– Julia L. Lawall, Harry G. Mairson
- 2000
|
|
15
|
A Concurrent and Distributed Extension of Scheme
– Christian Queinnec
- 1992
|
