Oege de Moor, and Paul Hoogendijk. Generic programming with relations and functors (1993)

by Richard Bird
Venue:Journal of Functional Programming