Semantics of Programming Languages

The lecture notes and slides are updated from time to time; check the timestamps on the title pages to check you have the current version (currently 2026-02-12).

Lecture notes

Click here for the lecture notes.

Slides

Click here for all the slides.

Implementations

Here are several model implementations of L1:

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

Here's a model implementation of L2:

• L2 (in SML)

Installing Standard ML (SML)

Here are instructions for installing the Moscow ML SML implementation on Ubuntu. Issue the following commands at the command prompt:

sudo add-apt-repository ppa:kflarsen/mosml
sudo apt update
sudo apt-get install mosml

(kflarsen is Ken Friis Larsen, the current maintainer of Moscow ML.)

---

Last year’s course materials are still available.

Instructions for lecturers: how to edit this page