Typed Combinators for Generic Traversal.

Ralf Lmmel, Joost Visser

Browse the full PADL paper archive.