home search a-z help
University of Cambridge Computer Laboratory
Semantics of Programming Languages
Computer Laboratory > Course material 2005-06 > Semantics of Programming Languages

Semantics of Programming Languages

Principal lecturer: Dr Peter Sewell
Taken by: Part IB

Past exam questions

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

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.