Daniel S. Dantas, David Walker, Geoffrey Washburn, Stephanie Weirich
Browse the full ICFP paper archive.