I don't have any notes from previous semesters on this material. I
suggest you study the code accompanying the lecture.
To a first approximation, what we covered is a mixture of the first
lecture of CS 4110 and the first lecture of CS 4120. If you want some
addition reading, I recommend the following:
* Chapter 1 of [*Modern Compiler Implementation in ML*][tiger] by Andrew Appel.
* Chapters 3 and 4 of [*Types and Programming Languages*][tapl] by Benjamin C. Pierce.
But be aware that those dive into greater depth than we covered in