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 propose regular expression pattern matching as a core feature for programming
languages for manipulating XML (and similar tree-structured data formats). We extend …

We propose regular expression pattern matching as a core feature of programming
languages for manipulating XML. We extend conventional pattern-matching facilities (as in …

New machine architectures and new programming languages are always appearing, and
thus the need for new compilers continues unabated. Even experimental languages and …

In this paper we present a construction smoothly integrating pattern matching with abstract
data types. We review some previous proposals [19, 23, 20, 6, 1] and their drawbacks, and …

Pattern matching is a widely used technique in functional languages, especially those in the
ML and Haskell traditions, where it is at the core of the semantics. In languages in the Lisp …

In modern functional languages, pattern matching is used to define functions or expressions
by performing an analysis of the structure of values. We extend Haskell with a new non-local …

Throughout the history of functional programming, recursion has emerged as a natural
method for describing loops in programs. However, there does often exist a substantial …

Many modern languages offer a concept of modules to encapsulate a set of definitions and
make some of them visible from outside. Associated to modules are directives ruling …

Pattern matching is an important feature of programming languages for data abstraction.
Many pattern-matching extensions have been proposed and implemented for extending the …