Generalised Folds for Nested Datatypes (1999)

View PDF

Download Links

by Richard Bird , Ross Paterson
Venue:Formal Aspects of Computing
Citations:41 - 1 self

Document Versions

Generalised Folds for Nested Datatypes –Richard Bird, Ross Paterson — 1999 — Formal Aspects of Computing