Course Notes: 12.4PL1 Language and Design

This page contains course notes on the final part of course 12.4.PL1 on Language and Design. It covers functional languages (2 lectures) and denotational semantics (2 lectures).

Copies of the slides:

• Lecture 9: Functional Languages (Part I)
• Lecture 10: Functional Languages (Part II)
• Lecture 11: Denotational Semantics (Part I)
• Lecture 12: Denotational Semantics (Part II)

Tutorials on the languages covered in Lectures 9 and 10:

• Haskell
• LISP
• Elisp

Links to language definitions and compilers:

• Haskell Home Page
• Glasgow Haskell Compiler,
• Introduction to SML
• SML/NJ compiler
• Common Lisp the Language(1029 pages), Guy Steele.