Sums of products for mutually recursive datatypes: the appropriationist's view on generic programming.

Victor Cacciari Miraldo, Alejandro Serrano

Browse the full ICFP paper archive.