XDuce

This paper presents the core type system and type inference algorithm of OCamlDuce, a merger between OCaml and XDuce. The… (More)

We present an extension of XDuce, a programming language dedicated to the processing of XML documents, with polymorphism and… (More)

Xtatic is an extension of C with native support for statically typed XML processing. It features XML trees as built-in values… (More)

XDuce is a statically typed programming language for XML processing. Its basic data values are XML documents, and its types (so… (More)

Regular expression types have been proposed as a foundation for statically typed processing of XML and similar forms of tree… (More)

The World-Wide Web Consortium (W3C) promotes XML and related standards, including XML Schema, XQuery, and XPath. This paper… (More)

We present re , a minimal functional calculus with regular expression types for strings, in order to establish a theoretical… (More)

This document proposes an algebra for XML Query. The algebra has been submitted to the W3C XML Query Working Group. A novel… (More)

 

This document proposes an algebra for XML Query. This work builds on long standing traditions in the database community. In… (More)