Carnegie Mellon University · 15-312

Foundations of Programming Languages

编程语言基础

Formal syntax, semantics, type systems, safety, interpreters, and imperative, functional, logic, concurrent, and object-oriented programming paradigms.

Level：Advanced Undergraduate

Suggested stage：Years 3–4 (inferred)

Public-material edition：2026

Language：English

Videos：Not verified

Assignments / solutions：Available / Available

Prerequisites

CMU 15-150Experience writing proofs

Start here

All official course content

Lectures, video, assignments and exams are separated so you do not have to hunt through the course homepage.

24 direct tasks

▶Lectures, video & readingCourse content in the official sequence12

Topic 1: Syntax and Semantics Topic 2: Type Systems Topic 3: Operational Semantics Topic 4: Lambda Calculus Topic 5: Functional Languages Topic 6: Imperative Languages Topic 7: Objects Topic 8: Modules Topic 9: Exceptions and Effects Topic 10: Concurrency Topic 11: Program Verification Topic 12: Language Implementation

✓Assignments & practiceOpen the matching problem or assignment page12

Official resource hubs

Use these to browse a complete resource collection; the section above links directly to individual study items.

Official assignments and sample solutionsCarnegie Mellon University Computer Science Department ↗

Official lecture notes and scheduleCarnegie Mellon University Computer Science Department ↗

Source and verification

Every link points to an official university or course-team page. The year identifies the linked public-material edition, not necessarily the latest on-campus offering; a school may have newer materials that are not public. Unknown facts remain unverified rather than guessed.

Carnegie Mellon University Computer Science Department · verified 2026-08-03

Open official course ↗Report a resource issue

← All courses