15-312 Foundations of Programming Languages
Lecture 8: Aggregate Data Structures

In this lecture we discuss various language extensions which make MinML a more realistic language without changing its basic character, specially products and sums.

In the second part of the lecture we also consider an environment-based semantics in which we avoid explicit application of substitution to give the semantics a more realistic character and discuss some common mistakes in language definition.