Ralf Lämmel Joost Visser Typed Combinators for Generic Traversal. 137-154 2002 conf/padl/2002 PADL http://link.springer.de/link/service/series/0558/bibs/2257/22570137.htm db/conf/padl/padl2002.html#LammelV02