Semantics of Programming Languages

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