Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

XDuce

XDuce ("tranceduce") is an XML transformation language.
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2006
2006
This paper presents the core type system and type inference algorithm of OCamlDuce, a merger between OCaml and XDuce. The… Expand
  • figure 1
  • figure 2
Is this relevant?
2006
2006
We consider the problem of integrating XDuce into ML. This is difficult because of incompatible type and value representations… Expand
Is this relevant?
2006
2006
We present an extension of XDuce, a programming language dedicated to the processing of XML documents, with polymorphism and… Expand
  • figure 3
  • figure 1
  • figure 4
  • figure 6
  • figure 7
Is this relevant?
2006
2006
We present the core component of a system which combines parametric polymorphism, algebraic data types and type classes a la… Expand
Is this relevant?
Review
2003
Review
2003
XDuce is a statically typed programming language for XML processing. Its basic data values are XML documents, and its types (so… Expand
Is this relevant?
Highly Cited
2003
Highly Cited
2003
Regular types have been proposed as a foundation for statically typed processing of XML and other forms of tree-structured data… Expand
Is this relevant?
Highly Cited
2001
Highly Cited
2001
This document proposes an algebra for XML Query. The algebra has been submitted to the W3C XML Query Working Group. A novel… Expand
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
2000
Highly Cited
2000
Among the reasons for the popularity of XML is the hope that the static typing provided by DTDs [XML] (or more sophisticated… Expand
Is this relevant?
Highly Cited
1997
Highly Cited
1997
 
Is this relevant?
1970
1970
Undoubtedly, one of the most contentious areas of law in England, Canada and the United States is, and has been for almost two… Expand
Is this relevant?