Safe Pointers by Graph Transformation

This project is funded funded by EPSRC, The Engineering and Physical Sciences Research Council, from January 2002 to March 2003.

Team members: Detlef Plump, Colin Runciman and Adam Bakewell

Project proposal (shortened version, in postscript)