Language Independent Traversals for Program Transformation (2000)

by Eelco Visser
Venue:Universiteit Utrecht
Citations:26 - 7 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
29 Dealing with Large Bananas – Ralf Lammel, Joost Visser, Jan Kort - 2000
101 An Overview of ELAN – Peter Borovansky, Claude Kirchner, Hélène Kirchner, Pierre-etienne Moreau, Christophe Ringeissen - 1998
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
74 Generation of Components for Software Renovation Factories from Context-free Grammars – Mark Van Den Brand, Alex Sellink, Chris Verhoef
43 Controlling Rewriting by Rewriting – Peter Borovansk'y, Claude Kirchner
34 Strategic Pattern Matching – Eelco Visser - 1999
134 Stratego: A Language for Program Transformation based on Rewriting Strategies - System Description of Stratego 0.5 – Eelco Visser - 2001
12 Type-safe Functional Strategies – Ralf Lammel, Joost Visser - 2000
25 A Core Language for Rewriting – Eelco Visser, Zine-el-abidine Benaissa - 1998
59 Term Rewriting With Traversal Functions – M.G.J. van den Brand, P. Klint, J. J. Vinju - 2001
53 Typed Combinators for Generic Traversal – Ralf Lämmel, Joost Visser - 2002
299 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
1312 Monads for functional programming – Philip Wadler - 1995
326 Theorems for free! – Philip Wadler - 1989
51 A Higher-Order Implementation of Rewriting – Lawrence Paulson - 1983
137 Scrap Your Boilerplate: A Practical Design Pattern for Generic Programming – Ralf Lämmel, Simon Peyton Jones - 2003
59 Scrap More Boilerplate: Reflection, Zips, and Generalised Casts – Ralf Lämmel, Simon Peyton Jones - 2004