Computer Laboratory > Teaching > Course material 2007–08 > Computer Science Tripos Syllabus and Booklist 2007-2008 > Types

next up previous contents
Next: VLSI Design Up: Michaelmas Term 2007: Part Previous: Specification and Verification I   Contents


Types

Lecturer: Professor A.M. Pitts

No. of lectures: 8

Prerequisite courses: Semantics of Programming Languages, Foundations of Functional Programming

Aims

The aim of this course is to show by example how type systems for programming languages can be defined and their properties developed, using techniques that were introduced in the Part IB course on Semantics of Programming Languages.

Lectures

Objectives

At the end of the course students should

Recommended reading

* Pierce, B.C. (2002). Types and programming languages. MIT Press.
Cardelli, L. (1997). Type systems. In CRC handbook of computer science and engineering. CRC Press.
Cardelli, L. (1987). Basic polymorphic typechecking. Science of computer programming, vol. 8, pp. 147-172.
Girard, J-Y. (tr. Taylor, P. & Lafont, Y.) (1989). Proofs and types. Cambridge University Press.



next up previous contents
Next: VLSI Design Up: Michaelmas Term 2007: Part Previous: Specification and Verification I   Contents