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.