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.
2015
2015
We consider a type algebra equipped with recursive, product, function, intersection, union, and complement types, together with… Expand
  • figure 2
2011
2011
We consider a type algebra equipped with recursive, product, function, intersection, union, and complement types together with… Expand
  • figure 1
  • table 1
2008
2008
  • L. Chen, H. Chen
  • The 9th International Conference for Young…
  • 2008
  • Corpus ID: 183594
Type checking is an important problem in statically typed XML processing languages. Most type systems are implemented based on… Expand
  • table 1
2007
2007
In this paper we present the logic-programming language XCentric, discuss design issues, and show its adequacy for XML processing… Expand
  • figure 2
  • figure 3
  • table 1
  • figure 4
  • table 2
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
Highly Cited
2003
Highly Cited
2003
We present the functional language CDuce, discuss some design issues, and show its adequacy for working with XML documents… Expand
  • figure 1
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
2003
2003
By preserving application semantics, XML bindings improve program specification, verification, and optimization. We compare two… Expand
  • figure 1
  • figure 2
  • table 1
2003
2003
A program that processes XML documents can be implemented using an XML data binding. Programming with an XML data binding can be… Expand
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