Accepted papers for ICFP 2014