15-312 Foundations of Programming Languages
Lecture 21: Storage Management

In this lecture we talk about storage management and garbage collection, which are important parts of the implementation of modern type-safe languages such as ML, Haskell, Java, or C\#. We first take an abstract point of view and then make it more concrete, although we do not present many refinements that are necessary for good performance both in time and space.