If you made any changes in Pure these will be visible here soon.

Personal profile

Research interests

My work concerns mathematical theories for reasoning about computation and their application in programming tools.  See my homepage for more details.