Polynomial relators RC Backhouse, PJ de Bruin, PF Hoogendijk Technische Universiteit Eindhoven, 1991 | 99 | 1991 |
Relational catamorphisms RC Backhouse, PJ de Bruin, GR Malcolm, TS Voermans, ... Technische Universiteit Eindhoven, 1991 | 78 | 1991 |
Naturalness of polymorphism PJ De Bruin University of Groningen, Department of Mathematics and Computing Science, 1989 | 20 | 1989 |
Inductive types in constructive languages PJ de Bruin | 9 | 1995 |
Voermans, and Jaap van der Woude. A relational theory of datatypes R Backhouse, P de Bruin, G Malcolm STOP 1992 Summerschool on Constructive Algorithmics, 7-42, 1992 | 9 | 1992 |
Voermans, and Jaap van der Woude. Polynomial relators RC Backhouse, PJ de Bruin, PF Hoogendijk, G Malcolm AMAST, Workshops in Computing, 303-326, 1991 | 5 | 1991 |
Voermans and Jaap van der Woude R Backhouse, P de Bruin, G Malcolm A relational theory of datatypes. Appears in 14, 1990 | 4 | 1990 |
Polynomial Relators Extended Abstract RC Backhouse, PJ de Bruin, P Hoogendijk, G Malcolm, E Voermans, ... Algebraic Methodology and Software Technology (AMAST'91): Proceedings of the …, 1992 | | 1992 |