Advanced Topics in Foundations of Programming Languages

Course ID 15791

Description An advanced follow-on to 15-312 developing further ideas and results in the theory of programming languages.

Key Topics
Type theory, phase distinctions, dependent types, theory of effects.

Learning Resources
Practical Foundations for Programming Languages (2nd Edition) by Robert Harper, readings to be assigned.

Course Relevance
Undergraduates who have earned an A in 15-312. Any CS graduate student.

Course Goals
Depth and breadth in the theory of programming languages so as to bridge up to current research.

Pre-required Knowledge
An A in 15-312. Strong math abilities.

Assessment Structure
Largely homework and final project.