Typed Combinators for Generic Traversal (2002)

by R Lammel, J Visser
Venue:In 4th Symp. on Practical Aspects of Declarative Languages, LNCS 2257