Tuesday, April 24, 2018

Are functional programs easier to verify than imperative programs?

›
Via Michael Arntzenius (@arntzenius) on Twitter , I saw that Hillel Wayne posted the following remark: Lots of people say "FP is ea...
7 comments:
Sunday, September 18, 2016

HOPE 2016 Talk Summaries

›
I'm attending ICFP 2016 in Nara, Japan (near Osaka) this year. In previous years, I've really enjoyed Edward Yang's conference t...
2 comments:
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: