15-617 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. Core topics include type checking and inference, elaboration, closure conversion, garbage collection, and translation to a lowlevel imperative language. Other topics may vary from year to year and include phase splitting, CPS conversion, typed assembly language, substructural and adjoint type systems, intersection types, and variable lifetimes.

Prerequisites: none listed

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