Semantics of Programming Languages 200304
Principal lecturer: Dr Peter Sewell
Taken by: Part IB
Syllabus
Past exam questions
12 lectures, TT 1011 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 writtenout 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.
