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

Document Versions

Disciplined, efficient, generalised folds for nested datatypes –Clare Martin, Jeremy Gibbons, Ian Bayley — UNDER CONSIDERATION FOR PUBLICATION IN FORMAL ASPECTS OF COMPUTING
Disciplined, Efficient, Generalised Folds for Nested Datatypes –Clare Martin, Jeremy Gibbons, Ian Bayley — 2002 — Information Processing Letters