Typed Combinators for Generic Traversal (2002)

by Ralf Lämmel, Joost Visser
Venue:Proc. of PADL 2002