TY  - RPRT
TI  - Typed Generic Traversal With Term Rewriting Strategies
AU  - Ralf Laemmel
PY  - 2002
UR  - https://arxiv.org/abs/cs/0205018
ID  - cs/0205018
ER  -