15312 Foundations Of Programming Languages Jun 2026

The core philosophy of 15-312 is that a programming language is not just a tool, but a . Rather than discussing "syntax" as just where to put semicolons, the course uses Type Theory as an organizing principle.

You might ask: "I build web apps. Do I really need to understand the simply typed lambda calculus?" 15312 foundations of programming languages

### TypeScheme

Rigorous proofs conducted in LaTeX, often involving tedious but essential rule inductions. Why Take It? The core philosophy of 15-312 is that a

– Map each program construct to a mathematical object (a function, a number, a state). Example: [[x + 3]] = [[x]] + 3 in the domain of integers. 15312 foundations of programming languages

Exploring continuations, polymorphism, laziness, and exceptions. The "Core" Experience: Programming and Proofs