TY - RPRT TI - Towards Practical Typechecking for Macro Tree Transducers AU - Alain Frisch AU - Haruo Hosoya PY - 2007 UR - https://arxiv.org/abs/cs/0701176 ID - cs/0701176 ER -