We also write up a more structured version of the results for (open-access) publication in the Journal of Functional Programming. See this for the 2012 preprint: http://anil.recoil.org/papers/drafts/2012-cufp-scribe-DRAFT....
(the point of the liveblogging this year was shorten the delay between getting the results out in the wild and the journal article, so I didn't bother tidying up the notes before putting them up. )
We also write up a more structured version of the results for (open-access) publication in the Journal of Functional Programming. See this for the 2012 preprint: http://anil.recoil.org/papers/drafts/2012-cufp-scribe-DRAFT....
(the point of the liveblogging this year was shorten the delay between getting the results out in the wild and the journal article, so I didn't bother tidying up the notes before putting them up. )