HOT Compilation

12 units · Undergraduate

Intermittent: 12 units The course covers the implementation of compilers for higher-order, typed languages such as ML and Haskell, and gives an introduction to type-preserving compilation. Topics covered include type inference, elaboration, CPS conversion, closure conversion, garbage collection, phase splitting, and typed assembly language. Prerequisites: 15-312 or 15-317 Course Website: https://www.cs.cmu.edu/~crary/hotc/