New draft of icfp2014.pdf