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

Cached

Download Links

by Clare Martin , Jeremy Gibbons , Ian Bayley
Venue:Information Processing Letters
Citations:4 - 0 self