Lectures are held on Mondays and Thursdays at 10am in JCMB 3315.
See the lecture log for a summary of what was covered in each lecture. You are recommended to take your own notes in lectures and consult the course textbook (TAPL) for details.
Exercises are based around OCaml implementations of the type systems studied.
The starting points for these implementations are given by the checkers described in TAPL, available for download here.
Security types for FOFL (Part 2).
There is an implementation of FOFL with Unit types supplied for the practical: foflunit.tgz. Or you can use your own from Part 1.
Issued: 2nd March. Due: 16th March.
Most of the course is based closely on
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:
The exam paper will contain three questions of which you should answer two. The time allowed will be 1hr45 minutes.
Informatics Forum, 10 Crichton Street, Edinburgh, EH8 9AB, Scotland, UK
Tel: +44 131 651 5661, Fax: +44 131 651 1426, E-mail: email@example.com
Please contact our webadmin with any comments or corrections. Logging and Cookies
Unless explicitly stated otherwise, all material is copyright © The University of Edinburgh