Polynomial relators RC Backhouse, PJ de Bruin, PF Hoogendijk, G Malcolm, E Voermans, ... AMAST 91, 303-362, 1991 | 99 | 1991 |
A relational theory of datatypes C Aarts, RC Backhouse, P Hoogendijk, E Voermans, J Van der Woude December, 1992 | 84 | 1992 |
Relational catamorphisms RC Backhouse, P De Bruin, G Malcolm, TS Voermans, J Van der Woude Proceedings of the IFIP TC2/WG2 1, 287-318, 1991 | 78 | 1991 |
Fixed-point calculus C Aarts, R Backhouse, E Boiten, H Doornbos, N van Gasteren, ... Information Processing Letters 53 (3), 131-136, 1995 | 47 | 1995 |
A relational theory of datatypes, December 1992 C Aarts, RC Backhouse, P Hoogendijk, E Voermans, J van der Woude | 11 | |
Pers as types, inductive types and types with laws E Voermans Declarative Programming, Sasbachwalden 1991: PHOENIX Seminar and Workshop on …, 1992 | 10 | 1992 |
A calculational theory of pers as types G Hutton, E Voermans | 9 | 1992 |
Making functionality more general G Hutton, E Voermans Functional Programming, Glasgow 1991: Proceedings of the 1991 Glasgow …, 1991 | 8 | 1991 |
Inductive datatypes with laws and subtyping: a relational model TS Voermans Technische Universiteit Eindhoven, 1999 | 5 | 1999 |
A tool for relational programmers G Hutton, E Meijer, E Voermans | 5 | 1994 |
A relational perspective on types with laws E Voermans, J van der Woude informal workshop on Categories of Relations in Computer Science, Oxford, 1993 | 2 | 1993 |
Diagonals and Block-Ordered Relations R Backhouse, E Voermans arXiv preprint arXiv:2401.17130, 2024 | | 2024 |
The Thins Ordering on Relations E Voermans, J Desharnais, R Backhouse arXiv preprint arXiv:2401.16888, 2024 | | 2024 |
The Index and Core of a Relation. With Applications to the Axiomatics of Relation Algebra R Backhouse, E Voermans arXiv preprint arXiv:2309.02017, 2023 | | 2023 |
Mathematics of Program Construction Draft R Backhouse, C Aarts, M Bijsterveld, H Doornbos, R van Geldrop, ... | | 2021 |
Pers as Types, Inductive Types and Types with E Voermans Declarative Programming, Sasbachwalden 1991: PHOENIX Seminar and Workshop on …, 2013 | | 2013 |
A relational theory of datatypes RC Backhouse, P Hoogendijk, E Voermans, J van der Woude Eindhoven University of Technology, Dept. of Mathematics and Computer Science, 1992 | | 1992 |
Making functionality more general E Voermans Functional Programming, Glasgow 1991: Proceedings of the 1991 Glasgow …, 1992 | | 1992 |
Graham Hutton, University of Glasgow Ed Voermans, Eindhoven University of Technology E Voermans Functional Programming, Glasgow 1991: Proceedings of the 1991 Glasgow …, 1992 | | 1992 |
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 |