CDuce: an XML-centric general-purpose language. 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 pattern matching, first class functions, overloaded functions, a very rich type system (arrows, sequences, pairs, records, intersections, unions, differences), precise type inference for patterns and error localization, and a natural interpretation of types as sets of values. We also outline some important implementation issues; in particular, a dispatch algorithm that demonstrates how static type information can be used to obtain very efficient compilation schemas.

References in zbMATH (referenced in 49 articles , 1 standard article )

Showing results 1 to 20 of 49.
Sorted by year (citations)

1 2 3 next

  1. Im, Hyeonseung; Genevès, Pierre; Gesbert, Nils; Layaïda, Nabil: Backward type inference for XML queries (2020)
  2. Costa Seco, João; Ferreira, Paulo; Lourenço, Hugo: Capability-based localization of distributed and heterogeneous queries (2017)
  3. Leinberger, Martin; Lämmel, Ralf; Staab, Steffen: The essence of functional programming on semantic data (2017)
  4. Ciobanu, Gabriel; Horne, Ross: Behavioural analysis of sessions using the calculus of structures (2016)
  5. Ciobanu, Gabriel; Horne, Ross; Sassone, Vladimiro: A descriptive type foundation for RDF Schema (2016)
  6. Oliveira, Bruno C.d. S.; Shi, Zhiyuan; Alpuim, João: Disjoint intersection types (2016)
  7. Genevès, Pierre; Layaïda, Nabil; Schmitt, Alan; Gesbert, Nils: Efficiently deciding (\mu)-calculus with converse over finite trees (2015)
  8. Laneve, Cosimo; Padovani, Luca: An algebraic theory for web service contracts (2015)
  9. Bonsangue, Marcello; Rot, Jurriaan; Ancona, Davide; de Boer, Frank; Rutten, Jan: A coalgebraic foundation for coinductive union types (2014)
  10. Benzaken, Véronique; Castagna, Giuseppe; Nguyen, Kim; Siméon, Jérôme: Static and dynamic semantics of NoSQL languages (2013)
  11. Kobayashi, Naoki: Model checking higher-order programs (2013)
  12. Pearce, David J.: Sound and complete flow typing with unions, intersections and negations (2013)
  13. Castagna, Giuseppe; Xu, Zhiwu: Set-theoretic foundation of parametric polymorphism and subtyping (2011)
  14. Gesbert, Nils; Genevès, Pierre; Layaïda, Nabil: Parametric polymorphism and semantic subtyping: the logical connection (2011)
  15. Hosoya, Haruo: Foundations of XML processing. The tree-automata approach. (2011)
  16. Chen, Lei; Chen, Haiming: Subtyping algorithm of regular tree grammars with disjoint production rules (2010)
  17. Rinderknecht, Christian; Volanschi, Nic: Theory and practice of unparsed patterns for metacompilation (2010)
  18. Zinn, Daniel; Bowers, Shawn; Köhler, Sven; Ludäscher, Bertram: Parallelizing XML data-streaming workflows via MapReduce (2010)
  19. Carpineti, Samuele; Laneve, Cosimo; Padovani, Luca: PiDuce- A project for experimenting web services technologies (2009)
  20. Genevès, Pierre; Layaïda, Nabil; Quint, Vincent: Identifying query incompatibilities with evolving XML schemas (2009)

1 2 3 next