Generic Downwards Accumulations (2000)

Cached

Download Links

by Jeremy Gibbons
Venue:Science of Computer Programming
Citations:21 - 3 self

Active Bibliography

84 Generic programming: An introduction – Patrik Jansson, Johan Jeuring, Lambert Meertens - 1999
521 A Framework for Dynamic Graph Drawing – Robert F. Cohen, G. Di Battista, R. Tamassia, Ioannis G. Tollis - 1992
535 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
459 Comprehending Monads – Philip Wadler - 1992
5 Functional polytypic programming -- use and implementation – Patrik Jansson - 1997
302 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
48 The Under-Appreciated Unfold – Jeremy Gibbons, Geraint Jones - 1998
6 Final Dialgebras: From Categories to Allegories – Roland Backhouse, Paul Hoogendijk - 1999
107 Polytypic Values Possess Polykinded Types – Ralf Hinze - 2000