Course pages 2019–20

Semantics of Programming Languages

Lecture notes: colour and monochrome.

Slides:

• slides for Lectures 1-10
• slides for Lecture 12

• L1.ml (in ML), and
• L1.ml (in OCaml), and
• L1.java (in Java).

Model implementation of L2:

• L2 (in ML)

If you are reading this then no extra material has yet been placed on the Web for this course.
Last year’s course materials are still available.