Stores and Partial Continuations as First-Class Objects in a Language and its Environment
No abstract available.
Related papers
- GL-a denotational testbed with continuations and partial continuations as first-class objects PLDI 1987
- Embedding Continuations in Procedural Objects TOPLAS 1987
- Constraining Control POPL 1985
- Sharing Code through First-class Environments ICFP 1996
- Partial aborts for transactions via first-class continuations ICFP 2015
- Environments as First Class Objects POPL 1987
- Representing Control in the Presence of First-Class Continuations PLDI 1990
- An object-oriented calculus with term constraints JFP 2007