15-501/15-819HOTCompilation, Fall 2006

Source: https://www.andrew.cmu.edu/course/15-501-819/ Parent: http://www.cs.cmu.edu/~wlovas/

15-501/15-819 HOT Compilation, Fall 2006Course Information 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 elaboration, CPS conversion, closure conversion, garbage collection, phase splitting, and typed assembly language. Instructor: Karl Crary <crary@cs.cmu.edu> TA: Akiva Leffert <aleffert@andrew.cmu.edu> Time: Tue/Thu 1:30 am - 2:50 Location: Porter Hall A22 Announcements | | | | --- | --- | | Dec 9 | The garbage collection assignment is out. You are encouraged to submit it before it is due. | | Nov 29 | The combined CPS/Closure conversion assignment is out. | | Nov 10 | The phase splitting assignment is now available. | | Oct 25 | The elaboration assignment is now available. | Oct 11 | Last year's inference assignment handout is available for anyone curious. Note that this is not an actual assignment for this year's course and is merely for the curious. | |