Added start of ICFP'14 paper