This is the landing page for Programming Languages (COMPSCI 631).
Next version: Fall 2020. The website for this class is not yet ready. However, it will look a lot like the previous version of the class.
Course Description: COMSPSCI 631 surveys the principles of modern programming languages by implementation. Topics include building interpreters for several kinds of programming languages, type-inference algorithms, program analyses, and program verification. This course will conclude with topics that bridge to compilers and runtime systems, including program transformations and garbage collection.