15417.html
15-417/817 HOT Compilation
Wed, 15 Jan 2025 17:02:00 GMT
This course covers the implementation of compilers for higher-order typed languages such as ML and Haskell and gives an introduction to type-preserving compilation. Core topics include type checking ...
15-417/817 HOT Compilation
Wed, 15 Jan 2025 17:02:00 GMT
The course is entirely based on Labs, which can be done solo or in pairs. Labs are handed in Gradescope. Labs 1-5 have two submissions: test cases after one week and the compilers after two weeks.