4pm Tuesday 19th February 2002
Room 2511, JCMB, King's Buildings
This talk is about the results in my thesis, how I came up with them, and where I think they can go from here.
Technology permitting, I will try to give a live demo of some of my new type error messages.