Lecture 22 Slides (Type Checking Implementation)
This lecture gives an overview of an approach to implement type checking on ASTs.