Programming Languages

This section provides materials for a course on programming languages based on interpreters written in Haskell.

• Syllabus and synopsis.
• Course outline with links to notes, problems sheets, etc.
• Collected problem sheets and sample exam questions.
• Information about the laboratory exercises for the course.
• A glossary of terms used in the course.
• Books and background reading.
• A page of frequently asked questions about the course.

Some random bits and pieces:

• A note about a construction that is not a monad.
• A note about the semantics of while loops.
• A tutorial on defunctionalization.
• A note about styles of semantics.
• A note about proving a monadic equivalence.
• A note about the type of callcc.