Carnegie Mellon University
file.pdf (1.18 MB)

The Cult of the Bound Variable: The 9th Annual ICFP Programming Contest

Download (1.18 MB)
journal contribution
posted on 1992-06-01, 00:00 authored by Tom Murphy, Daniel Spoonhower, Chris Casinghino, Daniel R. Licata, Karl Crary, Robert Harper
The annual ICFP Programming Contest has become one of the premiere programming competitions in the world. The 9th incarnation of the contest, “The Cult of the Bound Variable,” was held in July 2006 and organized by the Principles of Programming group at Carnegie Mellon University. This report details the contest tasks, the technology used to produce the contest, and the contest results. Several tasks draw ideas from programming languages research. For example, participants implemented a simple virtual machine, played an adventure game based on a substructural logic, and programmed in a two-dimensional circuit language with a discordantly high-level operational semantics. The contest technology includes an optimizing compiler for a high-level functional language that targets our virtual machine. By the end of the three day contest, 365 teams, composed of 700 programmers from all over the world, solved at least one of the contest tasks.


Publisher Statement

© ACM, 1992. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution.



Usage metrics


    Ref. manager