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

View PDF

Download Links

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