xml - Libraries for XML processing

This package contains libraries for processing XML data, like reading and writing XML files, converting, or querying XML documents.

Currently, it contains the following libraries:

• XML: This module defines a datatype XmlExp for representing XML data and operations for reading and writing XML data, e.g., which is stored in files.
• XmlConv: This module provides type-based combinators to construct XML converters.
• XCuery: This module defines combinators to search in XML documents. The idea and usage of this library is described in the paper Declarative Processing of Semistructured Web Data which appeared in the Technical Communications of the 27th International Conference on Logic Programming (ICLP 2011), Leibniz International Proceedings in Informatics (LIPIcs), Vol. 11, pp. 198-208, 2011. The package documentation contains a preprint of this paper.