Generic Programming with Types and Relations (1996)

by R Bird, O de Moor, P Hoogendijk
Venue:Computational Comonads and Intensional Semantics