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

by Richard Bird
Venue:J. of Functional Programming