Types for Concurrent Programming

This project was funded by a grant of 3000 from the Nuffield Foundation (reference SCI/180/96/155/G), under the scheme of awards to newly appointed science lecturers, covering the period May 1997 - April 1999.

The final report is available here, in PostScript and HTML.