Often, independent organizations define and advocate different XML formats for a similar
purpose and, as a result, application programs need to mutually convert between such …

Extensible Markup Language (XML) is a simple, very flexible text format derived from SGML.
Originally designed to meet the challenges of large-scale electronic publishing, XML is also …

In this paper we present an implementation of a constraint solving module, CLP (Flex), for
dealing with unification in an equality theory for terms with flexible arity function symbols …

Generic functions are defined by induction on the structural representation of types. As a
consequence, by defining just a single generic operation, one acquires this operation over …

Here we present the logic-programming language XCentric, discuss design issues, and
show its adequacy for XML processing. Distinctive features of XCentric are a powerful …

An XML data binding is a translation of XML documents into values of some programming
language. This paper discusses a type-preserving XML–Haskell data binding that handles …

Abstract Datatypes which differ inessentially in their names and structure are said to be
isomorphic; for example, a ternary product is isomorphic to a nested pair of binary products …

The eXtensible Markup Language (XML) is considered as the format of choice for the
exchange of information among various applications on the Internet. Since XML is emerging …

In this paper we investigate how to integrate the XQuery language and logic programming.
With this aim, we represent XML documents by means of a logic program. This logic …

A generic program is written once and works on values of many data types. Generic Haskell
is a recent extension of the functional programming language Haskell that supports generic …