Alain Frisch, Haruo Hosoya. Towards Practical Typechecking for Macro Tree Transducers. In Marcelo Arenas, Michael I. Schwartzbach, editors, Database Programming Languages, 11th International Symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007, Revised Selected Papers. Volume 4797 of Lecture Notes in Computer Science, pages 246-260, Springer, 2007. [doi]
Abstract is missing.