Generalised folds for nested datatypes (1999)

by R Bird, R Paterson
Venue:Formal Aspects of Computing