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.
