James Chapman, Pierre-variste Dagand, Conor McBride, Peter Morris
Browse the full ICFP paper archive.