Author: Icfp 12 Conference Committee