July 2013
Ohad Kammar, Alan Mycroft, and I are organising a summer course on Dependently typed metaprogramming (in Agda), here at the Computer Laboratory, which will be given by Conor McBride of the University of Strathclyde. Details and sign up here.

I attended ICALP 2013 in Riga, Latvia.

June 2013
Leaf Petersen, Neal Glew, and I have had our paper Automatic SIMD Vectorization for Haskell accepted to ICFP 2013. Pre-print version to appear soon (or e-mail me).

April 2013
Submitted a paper to ICFP 2013 with Leaf Petersen and Neal Glew on SIMD vectorisation of GHC core.

Coeffects: unified static analysis of context-dependence (pdf), with Tomas Petricek and Alan Mycroft, accepted to ICALP 2013.

I am on the PC of IFL 2013, this year hosted at Radboud University, Nijmegen.

March 2013
A Notation For Comonads (pdf), with Alan Mycroft, accepted for publication in the post-proceeedings of IFL 2012.