Conor McBride  

Look no further for my publications!

I'm a Senior Research Fellow in the School of Computer Science at the University of Nottingham. The ‘Research Fellow’ bit means I have no permanence; the ‘Senior’ bit means I've had no permanence for quite some time. My job is lots of fun. Especially now that my contract is about to end (P45 arrives on November 30).

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, the interactive dependently typed functional language which James McKinna and I designed, in colour, ere we departed our erstwhile department.

Epigram continues to develop in Nottingham and St Andrews with considerable help from Thorsten Altenkirch, Edwin Brady, James Chapman, James McKinna, Peter Morris, Nicolas Oury, Wouter Swierstra, Matthew Walton and Joel Wright.

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 PLPV 2007, and it looks good. I lectured on the g5bcfr module with Peter Hancock. I'm one of the conspirators behind Fun in the Afternoon.