Course pages 2011–12
Semantics of Programming Languages
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.