Computer Laboratory > Teaching > Course material 2009–10 > Computer Science Tripos Syllabus and Booklist 2009-2010 > Types

next up previous contents
Next: Lent Term 2010: Part Up: Michaelmas Term 2009: Part Previous: Security   Contents


Types

Lecturer: Professor A.M. Pitts

No. of lectures: 8

Prerequisite course: Semantics of Programming Languages

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: Lent Term 2010: Part Up: Michaelmas Term 2009: Part Previous: Security   Contents