15312 Foundations Of Programming Languages May 2026

15-312: Foundations of Programming Languages is a rigorous computer science course at Carnegie Mellon University (CMU) that explores the mathematical and structural principles of programming language design. It shifts the focus from simply using languages to understanding how they are defined, implemented, and proven correct through formal methods. Course Overview

The Architecture of Meaning: Foundations of Programming Languages 15312 foundations of programming languages

A program is a proof; a type is a logical formula. 15-312: Foundations of Programming Languages is a rigorous

The study of 15-312 is not about memorizing the features of C++ or Python; it is about learning the "universal grammar" of computation. By understanding the underlying logic of types and semantics, a programmer moves from being a practitioner to an architect. These foundations allow us to design languages that are inherently more secure, efficient, and expressive, ensuring that the software of tomorrow is built on a bedrock of mathematical certainty rather than trial and error. The study of 15-312 is not about memorizing

But syntax alone is just a shell. The real story begins with meaning.

The study of programming languages is a fundamental aspect of computer science, and the course "15312 Foundations of Programming Languages" provides a comprehensive introduction to the design, implementation, and theory of programming languages. This article aims to provide an in-depth exploration of the key concepts, principles, and techniques that underlie the foundations of programming languages, with a focus on the 15312 course.

Module 5: Recursion and Inductive Types

How do loops and recursive data structures (lists, trees) fit into pure functional foundations? You learn: