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 …

LNCS 2638 - Arrows, Robots, and Functional Reactive Programming Page 1 Arrows, Robots,
and Functional Reactive Programming Paul Hudak, Antony Courtney, Henrik Nilsson, and John …

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 …

The common abstraction of XML Schema by unranked regular tree languages is not entirely
accurate. To shed some light on the actual expressive power of XML Schema, intuitive …

&• Nobody knows XQuery better than this group of &" experts, &" after all they created it.
We've cornered the market on expertise in XQuery. & &• Allows readers to focus on either or …

We study a first-order functional language with the novel combination of the ideas of
refinement type (the subset of a type to satisfy a Boolean expression) and type-test (a …

It is widely accepted to consider an ontology as a conceptualization of a domain of interest,
that can be used in several ways to model, analyze and reason upon the domain. Obviously …

Domain-specific modeling (DSM) assists subject matter experts in describing the essential
characteristics of a problem in their domain. When a metamodel is lost, repositories of …

Publisher Summary This chapter demonstrates the Galax system as well as its most
advanced features, including support for XPath 2.0, XML Schema, and static type checking …

Object oriented programming can be classified into the object based, and the class based
paradigm. Object based languages typically are weakly typed and interpreted, allow …