Compiler Theory These are my notes for the Compiler Theory course taught by Professor William Bowman (see site). Course Overview Language Modeling Judgments Functions and Memory Cells Type Systems Type Safety Proof Logical Relations