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


Types

Lecturer: Dr P.N. Benton

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


* 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 2003: Part Previous: Specification and Verification I   Contents
Christine Northeast
Thu Sep 4 15:29:01 BST 2003