Typed Generic Traversal With Term Rewriting Strategies

Ralf Lämmel. Typed Generic Traversal With Term Rewriting Strategies. CoRR, cs.PL/0205018, 2002. [doi]

Abstract

Abstract is missing.