|
46
|
Continuations and concurrency
– R AND DYBVIG HIEB, R
- 1990
|
|
122
|
The theory and practice of first-class prompts
– M Felleisen
- 1988
|
|
57
|
Abstract continuations: A mathematical semantics for handling full functional jumps
– Matthias Felleisen, Mitchell Wand, Daniel P Friedman, Bruce F Duba
|
|
37
|
Control delimiters and their hierarchies
– Dorai Sitaram, Matthias Felleisen
- 1990
|
|
116
|
Representing Monads
– Andrzej Filinski
- 1994
|
|
49
|
Danvy and Andrzej Filinski. Abstracting control
– Olivier
- 1990
|
|
79
|
Abstracting Control
– Olivier Danvy, Andrzej Filinski
- 1990
|
|
19
|
Partial Continuations as the Difference of Continuations, A Duumvirate of Control Operators
– Luc Moreau, Christian Queinnec
- 1994
|
|
54
|
A Generalization of Exceptions and Control in ML-like Languages
– Carl A. Gunter, Didier Rémy, Jon G. Riecke
- 1995
|
|
40
|
Recycling Continuations
– Jonathan Sobel, Daniel P. Friedman
- 1998
|
|
29
|
Reasoning with Continuations II: Full Abstraction for Models of Control
– Dorai Sitaram, Matthias Felleisen
- 1990
|
|
17
|
Handling Control
– Dorai Sitaram
- 1993
|
|
88
|
Typing First-Class Continuations in ML
– Robert Harper, Bruce F. Duba, David Macqueen
- 1992
|
|
70
|
Representing Control in the Presence of First-Class Continuations
– Robert Hieb, R. Kent Dybvig, Carl Bruggeman
- 1990
|
|
69
|
Representing control: a study of the CPS transformation
– Olivier Danvy, Andrzej Filinski
- 1992
|
|
69
|
Continuation-Based Multiprocessing
– Mitchell Wand
- 1980
|
|
27
|
Continuations and coroutines
– C T Haynes, D P Friedman, M Wand
- 1984
|
|
21
|
Control operators, hierarchies, and pseudo-classical type systems: A-translation at work
– Chethan R Murthy
- 1992
|
|
23
|
and Partial Continuations as First-Class Objects in a Language and its Environment
– G F Johnson, D Stores Duggan
- 1988
|
