Types
Slides
Lecture 6: Existentials, Data Abstraction, and Termination for System F
Lecture 11: Applications of Continuations, and Introduction to Dependent Types
Video Recordings
Recordings of the lectures can be found on Youtube.-
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.
Last year’s course materials are still available.