A Dynamic Extent Control Operator for Partial Continuations (1991)

Cached

Download Links

by Christian Queinnec , Bernard Serpette , Ecole Polytechnique
Venue:In Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages
Citations:30 - 6 self

Documents Related by Co-Citation

48 Dybvig. Continuations and concurrency – R Hieb, R Kent - 1990
150 The theory and practice of first-class prompts – M Felleisen - 1988
58 Abstract continuations: A mathematical semantics for handling full functional jumps – M Felleisen, M Wand, D P Friedman, B F Duba - 1988
39 Control delimiters and their hierarchies – Dorai Sitaram, Matthias Felleisen - 1990
130 Representing Monads – Andrzej Filinski - 1994
56 Danvy and Andrzej Filinski. Abstracting control – Olivier - 1990
94 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
61 A Generalization of Exceptions and Control in ML-like Languages – Carl A. Gunter, Didier Rémy, Jon G. Riecke - 1995
41 Recycling Continuations – Jonathan Sobel, Daniel P. Friedman - 1998
32 Reasoning with Continuations II: Full Abstraction for Models of Control – Dorai Sitaram, Matthias Felleisen - 1990
18 Handling Control – Dorai Sitaram - 1993
93 Typing First-Class Continuations in ML – Robert Harper, Bruce F. Duba, David Macqueen - 1992
76 Representing Control in the Presence of First-Class Continuations – Robert Hieb, R. Kent Dybvig, Carl Bruggeman - 1990
81 Representing control: a study of the CPS transformation – Olivier Danvy, Andrzej Filinski - 1992
75 Continuation-Based Multiprocessing – Mitchell Wand - 1980
31 Continuations and coroutines – C T Haynes, D P Friedman, M Wand - 1984
26 Control Operators, Hierarchies, and Pseudo-Classical Type Systems: A-Translation at Work – C Murthy - 1992
24 Stores and partial continuations as first-class objects in a language and its environment – Gregory F Johnson, Dominic Duggan - 1988