Computer Laboratory

Course pages 2015–16

Semantics of Programming Languages

Lecture notes: colour and monochrome.

Slides: slides

Model implementations of L1:

Model implementation of L2:

  • L2 (in ML)

Moscow ML and Java are installed on the Intel PWF machines. If you want to work with the implementations on your own machine instead, here are Linux, Windows, and Mac versions of Moscow ML.

The book Types and Programming Languages is freely accessible in electronic form from within Cambridge.

Gordon Plotkin was received the Milner award in Feb 2013. Watch a video of him discussing the origins of structural operational semantics: []. (Operational semantics is 22 minutes in.)

Last year’s course materials are still available.

Instructions for lecturers: how to edit this page