15-312 Foundations of Programming Languages
Lecture 7: Aggregate Data Structures
In this lecture we will show how to add pairs, a unit expression, disjoint
sums, and the void type to MinML. These constructs can be added to the
existing language constructs in an orthogonal way, yet make the language
much more realistic.