15-813 HOT Compilation

12 units, Carnegie Mellon University

The course covers the implementation of compilers for higherorder typed languages such as ML. Topics include type checking, type directed compilation, elaboration, phase splitting, CPS conversion, closure conversion, allocation, and garbage collection. The course is disjoint from the standard compilers course 15411 thus, topics such as parsing and code generation are not covered. Students will implement an ML compiler and runtime system as a term project.

Prerequisites: none listed

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