XDuce

We consider a type algebra equipped with recursive, product, function, intersection, union, and complement types, together with… Expand

We consider a type algebra equipped with recursive, product, function, intersection, union, and complement types together with… Expand

Type checking is an important problem in statically typed XML processing languages. Most type systems are implemented based on… Expand

In this paper we present the logic-programming language XCentric, discuss design issues, and show its adequacy for XML processing… Expand

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

We present the functional language CDuce, discuss some design issues, and show its adequacy for working with XML documents… Expand

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

By preserving application semantics, XML bindings improve program specification, verification, and optimization. We compare two… Expand

A program that processes XML documents can be implemented using an XML data binding. Programming with an XML data binding can be… Expand

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