Conor McBride 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