|  | Overview | PDF | 
|  | Sample Interpreter | ML | 
|  | MIPS Instruction Set Architecture | PDF | 
|  | Lexing and Regular Expressions | PDF | 
 
|  | Table-Driven Tools: Lex and Yacc | See the Ocaml Lex and Yacc Documentation,
	PDF,
	MiniML | 
|  | Simple Code Generation | PDF | 
|  | Code Generation for Procedures | PDF | 
|  | Data & Memory Management | PDF | 
|  | Garbage Collection | PDF | 
|  | Higher-Order Functions and Closures | PDF | 
|  | Compilation of Object Oriented Languages | PDF | 
|  | Type Checking | PDF | 
|  | Algebraic Optimization | PDF | 
|  | Control Flow Graphs and Dataflow Analysis | PDF | 
|  | Register Allocation | PDF | 
|  | Coalescing Register Allocation | PDF | 
|  | Loop Optimizations | PDF | 
|  | CPS and SSA | PDF | 
|  | Additional links |