My research interests focus around functional programming, compilers and the design of programming languages, including their type systems. I am also interested in program correctness and optimisation.

Recent publications

Talks

On the Web

If you know me in person and you have not done so yet, feel free to add me on Facebook. I also have profiles on GitHub, LinkedIn, Google+, and Twitter which I update more or less frequently. If you are a redditor, you may be interested in joining /r/UoN which I founded in 2011.