15-312 Foundations of Programming Languages
Lecture 10: Continuations

In this lecture we briefly discuss a simple form of exceptions and then move on to continuations. Continuations are a very powerful but also quite dangerous form of control transfer. They are much more difficult to use in practice than they are to specify, once we have the mechanisms of the abstract machine at our disposal.