XDuce

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

We consider the problem of integrating XDuce into ML. This is difficult because of incompatible type and value representations… Expand

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

We present the core component of a system which combines parametric polymorphism, algebraic data types and type classes a la… Expand

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

Regular types have been proposed as a foundation for statically typed processing of XML and other forms of tree-structured data… Expand

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

Among the reasons for the popularity of XML is the hope that the static typing provided by DTDs [XML] (or more sophisticated… Expand

 

Undoubtedly, one of the most contentious areas of law in England, Canada and the United States is, and has been for almost two… Expand