Skip to main content

Generalised Folds for Nested Datatypes

Richard Bird and Ross Paterson

Journal
Formal Aspects of Computing
Pages
200–222
Volume
11
Year
1999