Skip to search formSkip to main contentSkip to account menu

XDuce

XDuce ("tranceduce") is an XML transformation language.
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
We consider a type algebra equipped with recursive, product, function, intersection, union, and complement types together with… 
2008
2008
  • Lei ChenH. Chen
  • International Conference for Young Computer…
  • 2008
  • Corpus ID: 183594
Type checking is an important problem in statically typed XML processing languages. Most type systems are implemented based on… 
2007
2007
Creol is a high level object-oriented modeling language for distributed systems. In this paper we propose an extension to Creol… 
2007
2007
In this paper we present the logic-programming language XCentric, discuss design issues, and show its adequacy for XML processing… 
2006
2006
  • Alain Frisch
  • ACM SIGPLAN International Conference on…
  • 2006
  • Corpus ID: 867609
This paper presents the core type system and type inference algorithm of OCamlDuce, a merger between OCaml and XDuce. The… 
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… 
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… 
2003
2003
By preserving application semantics, XML bindings improve program specification, verification, and optimization. We compare two… 
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…