A type system for functional traversal-based aspects. - Bryan Chadwick; Karl J. Lieberherr (FOAL, 2009)

Weaving generic programming and traversal performance. - Bryan Chadwick; Karl J. Lieberherr (AOSD, 2010)

Algorithms for traversal-based generic programming. - Bryan Chadwick; Karl J. Lieberherr (ICFP-WGP, 2010)

A functional approach to generic programming using adaptive traversals. - Bryan Chadwick; Karl J. Lieberherr (High. Order Symb. Comput., 2010)