Monday, May 9, 2016

Löb's theorem is (almost) the Y combinator

›
As a computer scientist, one of the stranger sociological facts you'll encounter is that regular mathematicians tend to dislike it (and ...
8 comments:
Friday, May 6, 2016

Life Update: Moving to Cambridge

›
This August I'll be changing jobs, by leaving Birmingham and joining the the Computer Laboratory at the University of Cambridge . I l...
5 comments:
Thursday, April 21, 2016

The Essence of Event-Driven Programming

›
Together with Jennifer Paykin and Steve Zdancewic , I have a new draft paper, The Essence of Event-Driven Programming : Event-driven ...
Tuesday, April 19, 2016

Postdoctoral Position in Recursion, Guarded Recursion and Computational Effects

›
We are looking for a Postdoctoral Research Fellow to work on an EPSRC-funded project  Recursion, Guarded Recursion and Computational Effect...
Monday, March 21, 2016

Agda is not a purely functional language

›
One of the more surprising things I've learned as a lecturer is the importance of telling lies to students. Basically, the real story re...
11 comments:
Thursday, March 17, 2016

Datafun: A Functional Datalog

›
Together with Michael Arntzenius , I have a new draft paper, Datafun: a Functional Datalog Datalog may be considered either an unusually...
Wednesday, November 18, 2015

Error Handling in Menhir

›
My favorite category of paper is the "cute trick" paper, where the author describes a programming trick that is both easy to imple...
1 comment: