A comprehensive introduction to type systems and programming languages. A type system
is a syntactic method for automatically checking the absence of certain erroneous behaviors …

On the basis of regular tree grammars, we present a formal framework for XML schema
languages. This framework helps to describe, compare, and implement such schema …

XDuce is a statically typed programming language for XML processing. Its basic data values
are XML documents, and its types (so-called regular expression types) directly correspond …

We present the functional language CDuce, discuss some design issues, and show its
adequacy for working with XML documents. Distinctive features of CDuce are a powerful …

We study the typechecking problem for XML transformers: given an XML transformation
program and a DTD for the input XML documents, check whether every result of the program …

Subty** relations are usually defined either syntactically by a formal system or
semantically by an interpretation of types into an untyped denotational model. This work …

This paper presents a novel editor supporting interactive refinement in the development of
structured documents. The user performs a sequence of editing operations on the document …

The World Wide Web has evolved gradually from a document delivery platform to an
architecture for distributed programming. This largely unplanned evolution is apparent in the …

We define a new, more semantic interpretation of gradual types and use it to``gradualize''two
forms of polymorphism: subty** polymorphism and implicit parametric polymorphism. In …

We propose regular expression pattern matching as a core feature for programming
languages for manipulating XML (and similar tree-structured data formats). We extend …