salvipeter/icfp2014 archive