CDuce

DOI10.1145/944705.944711zbMath1315.68046OpenAlexW2075994573MaRDI QIDQ5261266

Véronique Benzaken, Alain Frisch, Giuseppe Castagna

Publication date: 2 July 2015

Published in: Proceedings of the eighth ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/944705.944711

zbMATH Keywords

XMLtype systemsCDuceXML-processing

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items

PiDuce- A project for experimenting web services technologies, Behavioural Analysis of Sessions Using the Calculus of Structures, Unnamed Item, Frontiers of tractability for typechecking simple XML transformations, Capability-based localization of distributed and heterogeneous queries, Backward type inference for XML queries, Translation of tree-processing programs into stream-processing programs based on ordered linear type, Efficiently Deciding μ-Calculus with Converse over Finite Trees, The Essence of Functional Programming on Semantic Data, Semantic subtyping for the pi-calculus, A survey of strategies in rule-based program transformation systems, Typechecking top-down XML transformations: Fixed input or output schemas, An algebraic theory for web service contracts, Verification of tree-processing programs via higher-order mode checking, Theory and practice of unparsed patterns for metacompilation, Parallelizing XML data-streaming workflows via MapReduce, Unnamed Item, A descriptive type foundation for RDF Schema, Hedge Pattern Partial Derivative, CDuce, Inclusion Test Algorithms for One-Unambiguous Regular Expressions

Uses Software

• XQuery
• XDuce