15-312 Foundations Of Programming Languages Jun 2026

The guiding philosophy is By the end of the semester, students realize that a compiler is not just a translator; it is a proof checker.

: Continuations, exceptions, and data abstraction . 15-312 foundations of programming languages