17 citations · 49 across the 21 of their papers we have counts for
Showing 2002Show all
2 papers · 1 filter
cs.PL2002★ 1 cited
Typed Generic Traversal With Term Rewriting Strategies
Ralf Laemmel
A typed model of strategic term rewriting is developed. The key innovation is that generic traversal is covered. To this end, we define a typed rewriting calculus S'_{gamma}. The c…
cs.PL2002
A Framework for Datatype Transformation
Jan Kort, Ralf Laemmel
We study one dimension in program evolution, namely the evolution of the datatype declarations in a program. To this end, a suite of basic transformation operators is designed. We…