Types
Slides
Lecture 6: Existentials, Data Abstraction, and Termination for System F
Lecture 11: Applications of Continuations, and Introduction to Dependent Types
Here is a set of combined slides for lectures 1-12.
If you are reading this then no extra material has yet been
placed on the Web for this course.
Last year’s course materials are still available.