Generalised folds for nested datatypes. Formal Aspects of Computing 11(2 (1999)

by R Bird, R Paterson