Return to Article Details The Design Space of Type Checkers for XML Transformation Languages Download Download PDF