Lecture 6: Existential Types, Data Abstraction and Termination of System F
Channel: Neelakantan Krishnaswami
Date: 2020-10-18

This lecture is about two main things. One, it is about existential types and data abstraction, and two, it is about how to prove the termination and consistency of System F.