Generalised Folds for Nested Datatypes (1999)

Cached

Download Links

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