Relational catamorphisms. Pages 287–318 of (1991)

by R C Backhouse, P J de Bruin, G Malcolm, E Voermans, J van der Woude
Venue:IFIP TC2/WG2.1 Working Conference on Constructing Programs. Elsevier. aopa 30 January 2009 22:39 32 S-C. Mu and