Oege de Moor, and Paul Hoogendijk. Generic functional programming with types and relations (1996)

by Richard Bird
Venue:Journal of Functional Programming