Types and Programming Languages

Types and Programming Languages is a Level 10 course given in Semester 2, aimed at 4th year students.
Check the ITO course descriptor for the syllabus.


Lectures are held on Mondays and Thursdays 3.00-3.50pm in Appleton Tower room M2A, on the mezzanine level (nb: note new room, class was formerly in 18 BP 3.15).

Most lectures use Benjamin Pierce's course notes, available here.



Most of the course is based closely on the textbook Types and Programming Languages by Benjamin C. Pierce, MIT Press, 2002.
References for other material will be provided as necessary in lectures.


Here are some other useful resources:

Past instances of the course

Philip Wadler
Last modified: Thu Mar 20 12:13:53 GMT 2008

Home : Teaching : Courses 

Informatics Forum, 10 Crichton Street, Edinburgh, EH8 9AB, Scotland, UK
Tel: +44 131 651 5661, Fax: +44 131 651 1426, E-mail: school-office@inf.ed.ac.uk
Please contact our webadmin with any comments or corrections. Logging and Cookies
Unless explicitly stated otherwise, all material is copyright © The University of Edinburgh