This is the course website for SI413: Programming Languages and Implementation in Fall 2025.

This course is all about the design and implementation of programming languages. We will learn how to write and understand language specs, see multiple different programming language paradigms, and get our hands dirty writing interpreters and compilers for a progressively powerful series of languages that we design and build.

See the course policy for details on syllabus, grading, etc.