CDuce
From MaRDI portal
Publication:5261266
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
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