CS 536 (F02) Homework 4 (Advanced):
Composable Continuations

Composable Continuations

Continuations (the escaping contexts that let/cc creates) abort when they finish executing (the escaping part). Consider composable continuations, which would not abort but that could instead be chained together in some way for more flexible control structures (Scheme doesn't have these).

1. Propose a set of primitives for composable continuations.
2. Discuss the various semantics you could define for composable continuations (your primitives) and the tradeoffs between them.
3. Describe what you might do with composable continuations if you had them (i.e., programming applications of them).