Look no further for my publications!
I'm a Lecturer in the Department of Computer and Information Sciences at the university of Strathclyde. I now stare out this window, but I still visit my old study.
I like Functional
Programming, especially Haskell. I also like Type
Theory, and I hope that this worthy body of work will eventually
become better known outside the eastern colonies of Generalized
America. Moreover, I like to combine FP and TT. This makes a marvellous
noise, but also
Epigram continues to develop at Strathclyde, and in Nottingham and St Andrews with considerable help from Thorsten Altenkirch, Edwin Brady, James Chapman, James McKinna, Peter Morris, Nicolas Oury, and Wouter Swierstra.
I like making holes in things, so I've started to write a page about differential calculus with datatypes.
I'm on the PC of too many things. Back in Nottingham, I lectured on the g5bcfr module with Peter Hancock, but that didn't really prepare me for what was about to hit me. Next year I hit back. I'm one of the conspirators behind Fun in the Afternoon.