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]

@inproceedings{ManethN08,
  title = {XML Type Checking for Macro Tree Transducers with Holes},
  author = {Sebastian Maneth and Keisuke Nakano},
  year = {2008},
  url = {http://gemo.futurs.inria.fr/events/PLANX2008//papers/p19.pdf},
  tags = {XML, XML Schema, macros, type checking},
  researchr = {https://researchr.org/publication/ManethN08},
  cites = {0},
  citedby = {0},
  booktitle = {PLAN-X 2008, Programming Language Technologies for XML, An ACM SIGPLAN Workshop colocated with POPL 2008, San Francisco, California, USA, January 9, 2008},
}