15312 Foundations Of Programming Languages Jun 2026

: Expected to be significant, as students must implement interpreters derived directly from formal definitions. 15-312 Foundations of Programming Languages

Using type systems to ensure programs make sense before they ever run. 15312 foundations of programming languages

In the 15312 course, students learn about the syntax and semantics of programming languages, including: : Expected to be significant, as students must

The general computer science subject of programming language theory : Expected to be significant