This is the landing page for Programming Languages (COMPSCI 631).

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.