Computer Laboratory Home Page Search A-Z Directory Help
University of Cambridge Home Computer Laboratory
Semantics of Programming Languages
Computer Laboratory > Course material 2003-04 > Semantics of Programming Languages

Semantics of Programming Languages
2003-04

Principal lecturer: Dr Peter Sewell
Taken by: Part IB

Syllabus
Past exam questions

12 lectures, TT 10-11 in Lecture Theatre 1, Tuesday 20 Jan - Thursday 26 Feb.

Notes: colour, (ps) and (pdf) , and monochrome, (ps) and (pdf).

Errata for the printed notes (NOT all fixed in the versions above), (ps) and (pdf).

Additional notes on How To Do Proofs (ps) and (pdf) .

A written-out proof of two cases of the Substitution Lemma (as in the lecture from Thursday 12th Feb): (ps).

An extra mock Tripos question, (ps) and (pdf).

Model implementations of the languages

  • L1 (in ML),
  • L1 (in Java), and
  • L2 (in ML).

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