der Woude. Relational catamorphisms (1991)

by R C Backhouse, P de Bruin, G Malcolm, E Voermans, J van
Venue:Proceedings of the IFIP TC2/WG2.1 Working Conference on Constructing Programs