CDuce

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 47 articles , 1 standard article )

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

1 2 3 next

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

1 2 3 next