[Tachyon-list] ICFP11 paper in repo