Functional programs that explain their work.

Roly Perera, Umut A. Acar, James Cheney, Paul Blain Levy

Browse the full ICFP paper archive.