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.

• Lecture notes: 07-aggregate.pdf
• Reading: Part III, Ch. 9.3
• Code: pair-functions.sml
• Previous lecture: Type Safety
• Next lecture: An Abstract Machine

[ Home | Schedule | Assignments | Software | Resources ]

fp@cs
Frank Pfenning