A hierarchy of mendler style recursion combinators: taming inductive datatypes with negative occurrences.

Ki Yung Ahn, Tim Sheard

Browse the full ICFP paper archive.