Dealing with Large Bananas (2000)

by Ralf Lammel , Joost Visser , Jan Kort
Venue:Universiteit Utrecht
Citations:29 - 12 self

Documents Related by Co-Citation

110 Building Program Optimizers with Rewriting Strategies – Eelco Visser, Zine-el-Abidine, Andrew Tolmach - 1998
178 PolyP - a polytypic programming language extension – Patrik Jansson, Johan Jeuring - 1997
26 Language Independent Traversals for Program Transformation – Eelco Visser - 2000
299 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
101 An Overview of ELAN – Peter Borovansky, Claude Kirchner, Hélène Kirchner, Pierre-etienne Moreau, Christophe Ringeissen - 1998
12 Type-safe Functional Strategies – Ralf Lammel, Joost Visser - 2000
51 A Higher-Order Implementation of Rewriting – Lawrence Paulson - 1983
43 Controlling Rewriting by Rewriting – Peter Borovansk'y, Claude Kirchner
99 Dynamic Typing in Polymorphic Languages – Martín Abadi, Luca Cardelli, Benjamin Pierce, Didier Rémy - 1995
42 Rewriting With Strategies In ELAN: A Functional Semantics – Peter Borovansky, Claude Kirchner, Hélène Kirchner, H El, Ene Kirchner, Christophe Ringeissen, Communicated M. Sato, Y. Toyama - 1999
53 Typed Combinators for Generic Traversal – Ralf Lämmel, Joost Visser - 2002
59 Term Rewriting With Traversal Functions – M.G.J. van den Brand, P. Klint, J. J. Vinju - 2001
49 Merging Monads and Folds for Functional Programming – Erik Meijer, Johan Jeuring - 1995
96 A New Approach to Generic Functional Programming – Ralf Hinze - 1999
40 A Generic Programming Extension for Haskell – Ralf Hinze - 1999
1312 Monads for functional programming – Philip Wadler - 1995
26 Typed Generic Traversal With Term Rewriting Strategies – Ralf Lämmel - 2002
93 Polytypic programming – Patrik Jansson - 2000
227 Adaptive Object-Oriented Software - The Demeter Method - With Propagation Patterns – K Lieberherr - 1995