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:
Friday, July 31, 2015

FRP without Space Leaks

›
The dataflow engine I gave in my last post can be seen as an implementation of self-adjusting computation , in the style of Acar, Blelloch...
11 comments:
Wednesday, July 22, 2015

How to implement a spreadsheet

›
My friend Lindsey Kuper recently remarked on Twitter that spreadsheets were commonly understood to be the most widely used dataflow program...
5 comments: