15312 Foundations Of Programming Languages ((install)) Jun 2026

Why do we spend so much effort matching Statics to Dynamics? The answer is .

Rigorous proofs conducted in LaTeX, often involving tedious but essential rule inductions. Why Take It?

The course bypasses layout debates by instantly translating code into Abstract Syntax Trees (ASTs). 15-312 introduces , which mathematically handle variable names, scopes, and bindings to prevent naming conflicts automatically. 15312 foundations of programming languages

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

), the meaning of the function does not change. This is called (alpha-equivalence). Why do we spend so much effort matching Statics to Dynamics

Exceptions, threads, and non-local jumps modeled mathematically.

The course explores the mathematical elegant duality of Product types (tuples/records, representing "AND") and Sum types (tagged unions/variants, representing "OR"). Why Take It

The general computer science subject of programming language theory

Together, Progress and Preservation form the bedrock of language reliability, ensuring that typed languages like Rust, Java, or Standard ML prevent low-level runtime crashes before the code even runs. 3. The Core Paradigms Explored