Lars Bergstrom, Mike Rainey, John H. Reppy, Adam Shaw, Matthew Fluet
Browse the full ICFP paper archive.