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

Types

Lecturer: Dr A.M. Pitts (amp@cl.cam.ac.uk)

No. of lectures: 8

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


Aims


The aim of this course is to show how the mathematical formalism introduced in the Part IB course on Semantics of Programming Languages can be applied to the task of specifying and reasoning about type systems for programming languages.


Lectures

Objectives


At the end of the course students should

Recommended books


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 2001: Part Previous: Specification and Verification I   Contents
Christine Northeast
Tue Sep 4 09:34:31 BST 2001