Induction and Recursion on Datatypes (1995)

View PDF

Download Links

by Roland Backhouse , Henk Doornbos
Citations:17 - 7 self

Documents Related by Co-Citation

18 Reductivity arguments and program construction – H Doornbos - 1996
308 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
1353 Monads for functional programming – Philip Wadler - 1995
86 Algebraic Data Types and Program Transformation – Grant R Malcolm - 1990
30 der Woude. Relational catamorphisms – R C Backhouse, P de Bruin, G Malcolm, T S Voermans, J van - 1991
28 der Woude. Polynomial relators – R C Backhouse, P de Bruin, P Hoogendijk, G Malcolm, T S Voermans - 1992
498 The Science of Programming – D Gries - 1981
381 Types, abstraction and parametric polymorphism – John C Reynolds - 1983
9061 Introduction to Algorithms – Matteo Frigo, Volker Strumpen - 2009