Direct links to ICFP 2014 (functional programming conference) papersgithub.com/yallop2 pointsyallop12 years ago