Phone: 0131 650 5142
Fax: 0131 667 7209
- Department of computer science
- King's Buildings
- Mayfield Road
- Edinburgh EH9 3JZ
Fun and Games.
- I have moved to the School of Cognitive and Computing Sciences, at the university of Sussex.
Here is my new home page.
My thesis, `A semantic analysis of control' is here (gzipped postscript, please let me know if that is a problem for you). The abstract can be found here.
Here is an extended abstract of a presentation at LICS '97,
`Full abstraction for functional languages with control'.
Here are the notes for my TPG course; `Computation and logic', Autumn 1999.
The Mappa Mundi