Typed generic traversal with term rewriting strategies (0)

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