# 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](http://dx.doi.org/10.4230/LIPIcs.ICLP.2011.198)
  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.