CS 4392
Programming Languages
Georgia Institute of Technology-Main Campus · UGRD · Fall 2026
1 section1 open now
Catalog description
Fundamentals of programming language design and theory. Topics include formal semantics and type systems for imperative, functional, and parallel languages; lambda calculus and its variants; the Curry-Howard Correspondence; techniques for proving language properties and verifying program specifications.
Sections
Current meeting, instructor, credit, and enrollment details
A
6 openSeats: 19/25 seats Last recorded: Aug 9, 2026, 8:32 AMClass #94040Fall 2026UGRD3 credits
6 available19 enrolled25 capacity0/50 waitlist
- Days & times
- MW 1100-1215
- Meeting dates
- Aug 24 – Dec 17
- Location
- Engineering Sci and Mechanics 201
- Instructor
- Laurel, Jacob
Details checked 4 hours agoSeats checked 4 hours ago
Class numbers and section codes come from the registrar.
Spot missing or incorrect course data?