Course pages 2011–12

Semantics of Programming Languages

Lecture notes: colour and monochrome.

Model implementations of the languages

• L1.ml (in ML),
• L1.java (in Java),
• L1.pl (in Prolog), and
• L2 (in ML).

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.