Typed Combinators for Generic Traversal (2002)

by R Lämmel, J Visser
Venue:Proc. of PADL 2002, volume 2257 of LNCS