Programming Languages (6.821)
MIT's graduate-level course on the principles behind functional, imperative, and logic programming languages. Topics include meta-circular interpreters, operational and denotational semantics, type systems covering polymorphism, inference, and abstract types, object oriented programming, modules, and multiprocessing. Assignments use the Scheme+ language and the course involves substantial programming problem sets alongside heavy reading. Materials come from MIT OpenCourseWare and include lecture notes, readings, and assignments, free to access with no certificate offered. The course suits students who already have programming experience and want a rigorous grounding in how language design choices shape semantics and reasoning about programs.