15312 Foundations Of Programming Languages __exclusive__ <2026>

[ \frac{}\textnum(n) \Downarrow \textnum(n) \quad \text(E-Const) ] [ \frace_1 \Downarrow \textnum(n_1) \quad e_2 \Downarrow \textnum(n_2)\textplus(e_1, e_2) \Downarrow \textnum(n_1 + n_2) \quad \text(E-Plus) ]

15-312: Foundations of Programming Languages is a rigorous undergraduate course at Carnegie Mellon University (CMU) 15312 foundations of programming languages

This follows from:

forall a. a -> a

This course is a cornerstone of the CMU CS curriculum, often taught by Professor Robert Harper , whose seminal textbook, , serves as the primary resource. The Mathematical Lens: Type Theory and Semantics often taught by Professor Robert Harper

You don’t need a CMU ID to learn this. The canonical texts for "15312 foundations of programming languages" are: whose seminal textbook

A program is a proof; a type is a logical formula.