Structures for structural recursion.

Paul Downen, Philip Johnson-Freyd, Zena M. Ariola

Browse the full ICFP paper archive.