Disciplined, efficient, generalised folds for nested datatypes (2004)

by C Martin, J Gibbons, I Bayley
Venue:Formal Aspects of Computing