"Typed Combinators for Generic Traversal."

Ralf Lämmel, Joost Visser (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics