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]

Authors

Sebastian Maneth

This author has not been identified. It may be one of the following persons: Look up 'Sebastian Maneth' in Google

Keisuke Nakano

This author has not been identified. Look up 'Keisuke Nakano' in Google