• Type checking of XML transformations
• Macro tree transducers

Type checking XSL transformations. Introduction, discussion and downloads can be found here.

A small functional program performing macros for XML. Download and instructions can be found here.

• Exact XML Type Checking in Polynomial Time.
  S. Maneth, T.P. and H. Seidl.
  To appear in 11th International Conference on Database Theory (ICDT), 2007.
  [] []
• Exact XML Type Checking in Polynomial Time.
  S. Maneth, T.P. and H. Seidl.
  Technical Report TUM-I0521, Technische Universität München, December 2005.
  [ps] [bibtex]
• XML Type Checking with Macro Tree Transducers.
  S. Maneth, A. Berlea, T.P. and H. Seidl.
  In Proceedings of 24th Symp. on Principles of Database Systems (PODS), 283-294, 2005.
  [pdf] [bibtex]
• XML Type Checking with Macro Tree Transducers.
  S. Maneth, A. Berlea, T.P. and H. Seidl.
  Technical Report TUM-I0407, Technische Universität München, April 2004.
  [ps] [bibtex]
• Macro Forest Transducers.
  T.P. and H. Seidl.
  Information Processing Letters (IPL), 89(3):141-149, 2004.
  [pdf] [bibtex]
• A Type-safe Macro System for XML.
  T.P. and H. Seidl.
  In Proceedings of Extreme Markup Languages® 2002, Montréal, Quebec, 2002.
  [html, pdf] [bibtex]

• Musica Secreta
• Anonymous 4