The Design Space of Type Checkers for XML Transformation Languages.

Anders Mller, Michael I. Schwartzbach

Browse the full ICDT paper archive.