PL Theory Notes Crash Course on Notation in Programming Languages Structural Induction in Programming Language Semantics Related Courses 15-312 at CMU CS 4110 at Cornell CMCS 330 at UMD