Semantics of Programming Languages

Lecture notes

Click here for the lecture notes.

Slides

Click here for all the slides.

Video Recordings

The Semantics lecture playlist can be found on Youtube.

Links to each lecture are:

• Lecture 1

• Lecture 2

• Lecture 3

• Lecture 4

• Lecture 5

• Lecture 6

• Lecture 7

• Lecture 8

• Lecture 9

• Lecture 10

• Lecture 11

• Lecture 12

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