Mark G. J. van den Brand, Paul Klint, Jurgen J. Vinju. Term Rewriting with Type-safe Traversal Functions. Electronic Notes in Theoretical Computer Science, 70(6):100-117, 2002. [doi]
No references recorded for this publication.
No citations of this publication recorded.