15312 Foundations Of Programming Languages Jun 2026

Type systems are a critical component of programming languages, ensuring that programs are type-safe and free from type-related errors. In the 15312 course, students learn about the basics of type systems, including:

The formal logic behind garbage collection and resource allocation. 4. The Safety Theorem

Computer science relies on programming languages to turn abstract logic into executable reality. At Carnegie Mellon University (CMU), the course serves as a definitive roadmap for understanding how these languages are designed, specified, and implemented. Rather than teaching you how to use a specific language, 15-312 teaches you how to reason about all languages through rigorous mathematical frameworks. 15312 foundations of programming languages

A Type⟺A Mathematical PropositionA Type ⟺ A Mathematical Proposition

This post provides a comprehensive overview of the foundations of programming languages, covering key concepts, principles, and techniques. By exploring these topics, developers can gain a deeper understanding of programming languages and improve their skills in designing, implementing, and analyzing languages. Type systems are a critical component of programming

Students learn to write exact mathematical rules mapping out how these evaluation models alter memory states, variable environments, and control flow. Advanced Concepts: From Continuations to Concurrency

-- Infer.hs inferType :: Expr -> TypeScheme inferType (Lam x e) = Forall x (inferType e) inferType (App e1 e2) = case inferType e1 of Mono (Fun t1 t2) -> Mono t2 Forall x t -> inferType (subst x t2 t) where subst x t (TV y) | x == y = t subst x t (TCon c ts) = TCon c (map (subst x t) ts) The Safety Theorem Computer science relies on programming

The course known as 15312 is officially titled "Foundations of Programming Languages." It is a 12-unit course typically offered in both the Fall and Spring semesters to upper-level undergraduate students. The course number may appear in some older records with a hyphen as 15-312. It's the intellectual sibling of the graduate-level course 15-652 (Advanced Foundations of Programming Languages) and serves as a comprehensive and formal introduction to the principles that underpin all programming languages.

The primary vehicle for assignments in 15-312 is . SML is chosen because its features map directly to programming language theory: Strong, Static Typing: Prevents invalid states.

Consider: