Disciplined, efficient, generalised folds for nested datatypes

by Clare Martin , Jeremy Gibbons , Ian Bayley
Venue:UNDER CONSIDERATION FOR PUBLICATION IN FORMAL ASPECTS OF COMPUTING
Citations:4 - 0 self