ICFP Programming Contest 2014



After hours of judging, the judges declare that:

For more details, see the results page, or view the video of the announcment made at ICFP.


Good news! Amongst the dusty archives we found the original technical report that must have inspired the design of the quirky Lambda-Man CPU. You can find a scan of this report online. So the Lambda-Man CPU turns out to be a hardware implementation of the SECD machine. We did wonder why the CPU registers were called %s %e %c and %d!

We will be announcing the final results (aka HALL OF FAME) of the competition at ICFP (Gothenburg, Sweden; September 1–3, 2014). We will then publish the final rankings including the team home pages you supplied.

In the meantime we encourage you to publish your solutions and write-ups, and submit links to them on the icfpcontest subreddit.

We also plan to open source our reference implementation and the HALL OF FAME server code after the results have been announced. The judges decisions (including quirks and bugs in our implementation) are final.



The ICFP Programming Contest 2014 is the 17th instance of the annual programming contest series sponsored by The ACM SIGPLAN International Conference on Functional Programming.

This year, the contest starts on Friday 25 July 2014 at 12:00 UTC and ends on Monday 28 July 2014 at 12:00 UTC. There will be a lightning division, ending on Saturday 26 July 2014 at 12:00 UTC.

This is an open contest. Anybody may participate except for the contest organisers and members of the same group as the the contest chairs. No advance registration or entry fee is required. Contestants are free to organize themselves into teams of any size.

Any programming language(s) on any platform(s) may be used.

There will be cash prizes for the first and second place teams, the team winning the lightning divison, and a discretionary judges’ prize. There may also be travel support for the winning teams to attend the conference.

In addition, the organisers will declare during the conference that:


Additional announcements will be made at http://icfpcontest.org/, including the rules and details of the task. The task will be made available when the contest starts.

The official Twitter account is @ICFPContest2014.

You can find us on the #icfp-contest IRC channel on Freenode. You can even chat in your browser using the following link:


The contest organisers are: Nicolas Wu (co-chair) (zenzike), Duncan Coutts (co-chair) (dcoutts), José Pedro Magalhães (dreixel), Richard Evans, Martin Lester (mariusz), and Marcelo Sousa (mabs).

University of Oxford, Department of Computer Science Well-Typed LLP

You can also reach us privately by email: