Generalised Folds for Nested Datatypes (1999)

by Richard Bird, Ross Paterson
Venue:Formal Aspects of Computing