You will dive deep into the Untyped and Simply Typed Lambda Calculus. This is the "atomic theory" of all programming languages. You will learn how:
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. 15312 foundations of programming languages