Typed generic traversal with term rewriting strategies
type: Item
instance of: scholarly article
title: Typed generic traversal with term rewriting strategies
zbMATH Open document ID: 1026.68076
DOI: 10.1016/S1567-8326(02)00028-0
author: Ralf Lämmel
published in: The Journal of Logic and Algebraic Programming
publication date: 2003-06-25T00:00:00Z
Mathematics Subject Classification ID: 68Q42
zbMATH DE Number: 1934823
zbMATH Keywords: term rewriting
zbMATH Keywords: strategies
zbMATH Keywords: generic programming
zbMATH Keywords: traversal
zbMATH Keywords: type systems
zbMATH Keywords: program transformation
describes a project that uses: ELAN
describes a project that uses: ASF+SDF
describes a project that uses: Maude
describes a project that uses: ML
describes a project that uses: CASL
describes a project that uses: Polyp
describes a project that uses: Automath
MaRDI profile type: Publication
Wikidata QID: Q57400623
cites work: CASL: the Common Algebraic Specification Language.
cites work: Dynamic typing in polymorphic languages
cites work: Q3889024
cites work: Intersection and union types: Syntax and semantics
cites work: Q2764099
cites work: Q4692466
cites work: Q4222858
cites work: REWRITING WITH STRATEGIES IN $\mathsf{ELAN}$: A FUNCTIONAL SEMANTICS
cites work: Term rewriting with type-safe traversal functions
cites work: Comparing cubes of typed and type assignment systems
cites work: Functional Characters of Solvable Terms
cites work: Polytypic programming in Maude
cites work: A calculus for overloaded functions with subtyping
cites work: The rewriting calculus. I
cites work: Q2769430
cites work: Intensional polymorphism in type-erasure semantics
cites work: Type dispatch for named hierarchical types
cites work: Fusing logic and control with local transformations: an example optimization
cites work: Q3805933
cites work: IThe 2nd international workshop on rewriting logic and its applications, RWLW.. Abbaye des Prèmontrès at Pont-á-Mousson, France, September 1998
cites work: A theory of type polymorphism in programming
cites work: A higher-order implementation of rewriting
cites work: Q4068054
cites work: Q4318862
cites work: A functional theory of exceptions
cites work: Q4222980
cites work: Building program optimizers with rewriting strategies
description: scientific article; zbMATH DE number 1934823