Typed Combinators for Generic Traversal (2002)

by R Lämmel, J Visser
Venue:In Proc. Practical Aspects of Declarative Programming PADL 2002, volume 2257 of LNCS