|
106
|
Building Program Optimizers with Rewriting Strategies
– Eelco Visser, Zine-el-Abidine, Andrew Tolmach
- 1998
|
|
26
|
Dealing with Large Bananas
– Ralf Lammel, Joost Visser, Jan Kort
- 2000
|
|
161
|
PolyP - a polytypic programming language extension
– Patrik Jansson, Johan Jeuring
- 1997
|
|
33
|
Strategic Pattern Matching
– Eelco Visser
- 1999
|
|
120
|
Stratego: A Language for Program Transformation based on Rewriting Strategies - System Description of Stratego 0.5
– Eelco Visser
- 2001
|
|
41
|
Controlling Rewriting by Rewriting
– Peter Borovansk'y, Claude Kirchner
|
|
11
|
Type-safe Functional Strategies
– Ralf Lammel, Joost Visser
- 2000
|
|
94
|
An Overview of ELAN
– Peter Borovansky, Claude Kirchner, Hélène Kirchner, Pierre-etienne Moreau, Christophe Ringeissen
- 1998
|
|
35
|
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
|
|
73
|
Generation of Components for Software Renovation Factories from Context-free Grammars
– Mark Van Den Brand, Alex Sellink, Chris Verhoef
|
|
41
|
Typed Combinators for Generic Traversal
– Ralf Lämmel, Joost Visser
- 2002
|
|
22
|
A Core Language for Rewriting
– Eelco Visser, Zine-el-abidine Benaissa
- 1998
|
|
22
|
Warm Fusion in Stratego: A Case Study in Generation of Program Transformation Systems
– Patricia Johann, Eelco Visser
- 2000
|
|
274
|
Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire
– Erik Meijer, Maarten Fokkinga, Ross Paterson
- 1991
|
|
1224
|
Introduction to functional programming
– Philip Wadler
- 1995
|
|
41
|
Calculate Polytypically!
– Lambert Meertens
- 1996
|
|
47
|
A Higher-Order Implementation of Rewriting
– Lawrence Paulson
- 1983
|
|
27
|
A Survey of Strategies in Program Transformation Systems
– Eelco Visser
- 2001
|
|
292
|
Theorems for free!
– Philip Wadler
- 1989
|
