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

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