|
161
|
PolyP - a polytypic programming language extension
– Patrik Jansson, Johan Jeuring
- 1997
|
|
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
|
|
24
|
Language Independent Traversals for Program Transformation
– Eelco 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
|
|
21
|
Typed Generic Traversal With Term Rewriting Strategies
– Ralf Lämmel
- 2002
|
|
92
|
Dynamic Typing in Polymorphic Languages
– Martín Abadi, Luca Cardelli, Benjamin Pierce, Didier Rémy
- 1995
|
|
47
|
A Higher-Order Implementation of Rewriting
– Lawrence Paulson
- 1983
|
|
51
|
Term Rewriting With Traversal Functions
– M.G.J. van den Brand, P. Klint, J. J. Vinju
- 2001
|
|
4
|
Generic type-preserving traversal strategies
– Ralf Lammel
- 2001
|
|
874
|
A theory of type polymorphism in programming
– Robin Milner
- 1978
|
|
1224
|
Introduction to functional programming
– Philip Wadler
- 1995
|
|
18
|
Scoped Dynamic Rewrite Rules
– Eelco Visser
- 2001
|
|
6
|
Introduction to the rewriting calculus. Rapport de recherche 3818
– H Cirstea, C Kirchner
- 1999
|
|
41
|
Controlling Rewriting by Rewriting
– Peter Borovansk'y, Claude Kirchner
|
|
22
|
A Core Language for Rewriting
– Eelco Visser, Zine-el-abidine Benaissa
- 1998
|
|
41
|
Calculate Polytypically!
– Lambert Meertens
- 1996
|
|
29
|
The Rho Cube
– Horatiu Cirstea, Claude Kirchner, Luigi Liquori
- 2001
|
