Generic Programming With Relations and Functors (1999)

by Richard Bird, Oege De Moor, Paul Hoogendijk
Venue:Journal of Functional Programming