Computer Laboratory

Course material 2010–11

Semantics of Programming Languages

Principal lecturer: Dr Sam Staton
Taken by: Part IB
Past exam questions (There are comments in the notes about the relevance of older questions.)

Notes: colour and monochrome.

Model implementations of the languages

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.