Semantics Lecture 9
Channel: Neelakantan Krishnaswami
Date: 2020-11-25

In this lecture we discuss how to add data structures -- pairs, tagged unions, and references -- to our programming language, and show how typing, reduction and type safety  change.