Programming Languages

Graduate · Historical course

Fall 2002

6.821 teaches the principles of functional, imperative, and logic programming languages. Topics covered include: meta-circular interpreters, semantics (operational and denotational), type systems (polymorphism, inference, and abstract types), object oriented programming, modules, and multiprocessing. The course involves substantial programming assignments and problem sets as well as a significant amount of reading. The course uses the Scheme+ programming language for all of its assignments.

Readings

The course notes include the chapters of a book in progress.
Listed reading
If you have any comments on the material in the handouts or course notes, especially the draft chapters of the book, please talk to us.
Listed reading
Abelson, Harold, and Gerald Jay Sussman with Julie Sussman. Structure and Interpretation of Computer Programs . 2nd ed. MIT Press, 1996. ISBN: 0262011530. ↗
Listed reading

Sources

Course catalogue ↗Historical OpenCourseWare
MIT OCW calendar ↗
MIT OCW syllabus ↗
Historical MIT OpenCourseWare offering. Named reading entries and schedule topics are automatically extracted from the linked source pages.