15-312 Foundations of Programming Languages
Lecture 10: Exceptions and Continuations

In this lecture, we look at two advanced control constructs: exceptions and continuations. We model the constructs using the C-machine, and show how to formulate typing rules for each construct.

• Lecture notes: 10-exceptions.pdf
• Reading: Part V, Ch. 12-13
• Code: exceptions and continuations
• Previous lecture: Environments
• Next lecture: Parametric Polymorphism

[ Home | Schedule | Assignments | Software | Resources ]

fp@cs
Frank Pfenning