Sciweavers

ICDT
2001
ACM

A Semi-monad for Semi-structured Data

13 years 8 months ago
A Semi-monad for Semi-structured Data
This document proposes an algebra for XML Query. The algebra has been submitted to the W3C XML Query Working Group. A novel feature of the algebra is the use of regular-expression types, similar in power to DTDs or XML Schemas, and closely related to Hasoya and Pierce’s work on Xduce. The iteration construct is based on the notion of a monad, and involves novel typing rules not encountered elsewhere.
Mary F. Fernández, Jérôme Sim&
Added 29 Jul 2010
Updated 29 Jul 2010
Type Conference
Year 2001
Where ICDT
Authors Mary F. Fernández, Jérôme Siméon, Philip Wadler
Comments (0)