Generic programming with relations and functors (1993)

by R S Bird, P Hoogendijk, O de Moor
Venue:Journal of Functional Programming