Thomas van Noort, Wouter Swierstra, Peter Achten, Rinus Plasmeijer
Browse the full ICFP paper archive.