Documents Related by Co-Citation

99 and Order in Algorithms – Law - 1992
308 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
339 Theorems for free! – Philip Wadler - 1989
86 Algebraic Data Types and Program Transformation – Grant R Malcolm - 1990
107 Data structures and program transformation – Grant Malcolm - 1990
419 Category Theory for Computer Science – M Barr, C Wells - 1990
221 An introduction to the theory of lists – Richard S. Bird
1353 Monads for functional programming – Philip Wadler - 1995
986 Categories for the Working Mathematician – Saunders Mac Lane - 1971