XML Type Checking for Macro Tree Transducers with Holes

Sebastian Maneth, Keisuke Nakano. XML Type Checking for Macro Tree Transducers with Holes. In PLAN-X 2008, Programming Language Technologies for XML, An ACM SIGPLAN Workshop colocated with POPL 2008, San Francisco, California, USA, January 9, 2008. 2008. [doi]

Abstract

Abstract is missing.