LARA Lecture 15 - Not (Necessary) Taught This page contains the “Lecture 15” – material that was not covered in the course Compiling to Low-Level Object Code Basics of Type Inference Constraint-Based Type Checking Note on Polymorphism and Subtyping Misc Trivia Bad Languages