15-417 HOT Compilation

12 units, Carnegie Mellon University

The course covers the implementation of compilers for higherorder, typed languages such as ML and Haskell, and gives an introduction to typepreserving compilation. Topics covered include type inference, elaboration, CPS conversion, closure conversion, garbage collection, phase splitting, and typed assembly language.

Prerequisites: 15-317 or 15-312

Courseweave needs JavaScript to show sections, workloads and planning tools.