Types for XML with Application to Xcerpt
The work presented in this thesis is related to XML which is a dominant standard on the Web used to encode data. In order to retrieve data from the Web, query languages are needed. A well known standard for querying XML data