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.

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