15-312 Foundations of Programming Languages
Lecture 9: Environments

In this lecture we make the abstract machine more realistic by using environments rather than substitution to track relationships between variables and data values. We show how the environment machine can be typed, and motivate closures in order to ensure that a function is always executed in the right environment