HOT Compilation

Carnegie Mellon University · UGRD · Fall 2026

1 section

Catalog description

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/

Sections

Current meeting, instructor, credit, and enrollment details

Updated 4 hours ago

001

Availability not recently verified

Class #carnegie_mellon-15417Fall 2026UGRD12 credits

Days & times: No scheduled meeting time
Meeting dates: —
Location: —
Instructor: Staff

Class numbers and section codes come from the registrar.

Spot missing or incorrect course data?