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.