Disciplined, Efficient, Generalised Folds for Nested Datatypes (2002)

by Clare Martin, Jeremy Gibbons, Ian Bayley
Venue:Information Processing Letters