Generic Programming With Relations and Functors (1999)

Cached

Download Links

by Richard Bird , Oege De Moor , Paul Hoogendijk
Venue:Journal of Functional Programming
Citations:9 - 6 self

Documents Related by Co-Citation

766 Notions of Computation and Monads – Eugenio Moggi - 1991
2564 h~ Design and Analysis of Computer Algorithms – J E Hopcroft, J D Ullman - 1974
2901 Dynamic programming – R E Bellman - 1957
605 A Transformation System for Developing Recursive Programs – R. M. Burstall, John Darlington - 1977
548 A Computational Logic – R S Boyer, J S Moore - 1979
1535 A Discipline of Programming – E W DIJKSTRA - 1976
509 Programming from Specifications – C C Morgan
1093 Depth first search and linear graph algorithms – Robert Tarjan - 1972
577 Shortest connection networks and some generalizations – R C Prim