Lecture
This lecture introduces intermediate representations (IRs) used by compilers to represent programs, emphasizing the importance of choosing a good IR for efficient analyses and transformations. It focuses on CPS/L3, a functional IR with local continuations and control constructs. The lecture covers the syntax and usage of CPS/L3, including local bindings, functions, and continuations. It also delves into the translation process from CL3 to CPS/L3, discussing the grammar, syntactic sugar, and control constructs. The session concludes with a practical exercise on translating a CL3 expression to CPS/L3.