Type Systems for Resource Bounded Programming and Compilation

EPSRC Grant GR/N28436, June 2000 - October 2002

This project draws on ideas of Martin Hofmann, see his papers on the subject area.
Martin co-ordinated the project until May 2001, when he left Edinburgh.
David Aspinall has co-ordinated since then, and is continuing work together with Martin Hofmann, Michal Konečný, and other collaborators.

Here are links to some of our work:

Here is a link to a related project:

David Aspinall, Michal Konečný.
Last modified: Thu Feb 27 14:35:03 GMT 2003