Typechecking for XML Transformers.

Tova Milo, Dan Suciu, Victor Vianu

Browse the full PODS paper archive.