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.