Programming Macro Tree Transducers
Modular Tree Automata
Compositional data types
Proceedings of the seventh ACM SIGPLAN workshop on Generic programming - WGP ’11
Mathematics of Program Construction
Laurence E. Day
Tom Hvitved