Please see the ICFP 2014 page for more information.