The cult of the bound variable: The 9 th annual ICFP programming contest

DMCA

The cult of the bound variable: The 9 th annual ICFP programming contest (2006)

Cached

Download Links

by Tom Murphy , Vii Daniel , Spoonhower Chris Casinghino , Daniel R. Licata , Karl Crary , Robert Harper

Venue:	Carnegie Mellon
Citations:	1 - 0 self

BibTeX

@TECHREPORT{Murphy06thecult,
    author = {Tom Murphy and Vii Daniel and Spoonhower Chris Casinghino and Daniel R. Licata and Karl Crary and Robert Harper},
    title = {The cult of the bound variable: The 9 th annual ICFP programming contest},
    institution = {Carnegie Mellon},
    year = {2006}
}

OpenURL

Abstract

The annual ICFP Programming Contest has become one of the premiere programming competitions in the world. The 9 th 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. c○19106 The Cult of the Bound Variable

Keyphrases

bound variable th annual icfp programming contest contest task virtual machine th incarnation contest technology annual icfp programming contest report detail two-dimensional circuit language high-level operational semantics substructural logic day contest language research carnegie mellon university high-level functional language simple virtual machine several task adventure game contest result

DMCA