C S 386L (53160): PROGRAMMING LANGUAGES
This course is an in-depth investigation of the theory of programming languages. The course covers the fundamental tools used in the analysis and design of programming languages, including semantics, type theory, abstract interpretation, metaprogramming, and partial evaluation. We will also consider their application to imperative, functional, and object-oriented languages.
(or by appointment)
Assistant: Alex Loh
Office Hours: Tues, Thurs, Fri at 2-3pm ACES 5SEi3C