Typed Generic Traversal With Term Rewriting Strategies (2002)

by R L ammel
Venue:Journal of Logic and Algebraic Programming