Computer Laboratory – Course material 2008–09: Semantics of Programming Languages Skip over navigation | Access key help ||| Computer Laboratory Course material 2008–09 Computer Laboratory > Teaching > Course material 2008–09 > Semantics of Programming Languages Additional Topics Advanced Graphics Advanced Systems Topics Algorithms I Algorithms II Artificial Intelligence I Artificial Intelligence II Bioinformatics Business Studies Comparative Architectures Compiler Construction Complexity Theory Computation Theory Computer Design Computer Graphics and Image Processing Computer Systems Modelling Computer Vision Concepts in Programming Languages Concurrent Systems and Applications Databases Denotational Semantics Digital Communication I Digital Communication II Digital Electronics Digital Signal Processing Discrete Mathematics I Discrete Mathematics II Distributed Systems E-Commerce ECAD ECAD Labs » Economics and Law Floating-Point Computation Foundations of Computer Science Foundations of Functional Programming Group Project Group Project Briefing Hardware Practical Classes How to Study Computer Science Human-Computer Interaction Information Retrieval Information Theory and Coding Introduction to Security Logic and Proof Long Vacation Java course Mathematical Methods for Computer Science Natural Language Processing Operating Systems I Optimising Compilers Part IB Assessed Exercise Briefing Probability Professional Practice and Ethics Programming Methods Programming in C and C++ Programming in Java Prolog Quantum Computing Registration Regular Languages and Finite Automata Security Semantics of Programming Languages Software Design Software Engineering Specification and Verification I Specification and Verification II System-on-Chip: Design and Modelling Topics in Concurrency Types Unix Tools Semantics of Programming Languages 2008–09 Principal lecturer: Dr Peter Sewell Taken by: Part IB Syllabus Past exam questions Notes: colour, (ps) and (pdf) , and monochrome, (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. © 2009 Computer Laboratory, University of Cambridge Please send any comments on this page to Dr Peter Sewell Last modified 2009-01-16 09:33 by Peter Sewell
