Mark G. J. Van den Brand, Paul Klint, J.J. Vinju. Term Rewriting with Type-safe Traversal Functions.
2nd International Workshop on Reduction Strategies in Rewriting and Programming - WRS 2002, Jul 2002, Copenhagen, Denmark, 18 p, 2002.
〈inria-00101030〉