Typed Generic Traversal With Term Rewriting Strategies (2002)

by R Lämmel
Venue:Journal of Logic and Algebraic Programming