Wim Martens Papers on DiSC'04 Typechecking Top-Down Uniform Unranked Tree Transducers Publications Note: Links lead to the DBLP on the Web. Wim Martens Wim Martens, Frank Neven : Typechecking Top-Down Uniform Unranked Tree Transducers. ICDT 2003 : 64-78 1 [ 1 ] ©2004 Association for Computing Machinery