Generic Downwards Accumulations (2000)

Cached

Download Links

by Jeremy Gibbons
Venue:Science of Computer Programming
Citations:23 - 5 self

Documents Related by Co-Citation

308 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
228 Introduction to Functional Programming using Haskell – Richard Bird - 1998
424 Deforestation: Transforming programs to eliminate trees – P Wadler - 1990
99 and Order in Algorithms – Law - 1992
107 Data structures and program transformation – Grant Malcolm - 1990
49 The Under-Appreciated Unfold – Jeremy Gibbons, Geraint Jones - 1998
1353 Monads for functional programming – Philip Wadler - 1995
605 A Transformation System for Developing Recursive Programs – R. M. Burstall, John Darlington - 1977
685 A Survey of Program Slicing Techniques – F. Tip - 1995