Lecture 11: Applications of Continuations, and Introduction to Dependent Types
Channel: Neelakantan Krishnaswami
Date: 2020-11-02

This lecture explores some applications of programming with continuations, and begins an introduction to dependent types.