Generic type-preserving traversal strategies

DOI10.1016/S1571-0661(04)00268-3zbMath1268.68099WikidataQ57400624 ScholiaQ57400624MaRDI QIDQ2841223

Ralf Lämmel

Publication date: 24 July 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• ELAN
• Maude
• Polyp

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A higher-order implementation of rewriting
• The genericity theorem and parametricity in the polymorphic \(\lambda\)- calculus
• The rewriting calculus - part I
• Dynamic typing in polymorphic languages
• REWRITING WITH STRATEGIES IN $\mathsf{ELAN}$: A FUNCTIONAL SEMANTICS
• Building program optimizers with rewriting strategies