Computer Laboratory

Course pages 2012–13

Semantics of Programming Languages

Lecture notes: colour and monochrome.

Model implementations of L1:

Moscow ML, Java and SWI Prolog 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 and SWI Prolog.

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.)