The design space of type checkers for XML transformation languages. (2005)

by Anders Møller, Michael I Schwartzbach
Venue:In ICDT ’05,