The following pages link to CDuce (Q5261266):
Displayed 21 items.
- CDuce (Q24362) (← links)
- An algebraic theory for web service contracts (Q493534) (← links)
- A descriptive type foundation for RDF Schema (Q739626) (← links)
- PiDuce- A project for experimenting web services technologies (Q838158) (← links)
- Frontiers of tractability for typechecking simple XML transformations (Q878753) (← links)
- Semantic subtyping for the pi-calculus (Q930882) (← links)
- Typechecking top-down XML transformations: Fixed input or output schemas (Q937295) (← links)
- Parallelizing XML data-streaming workflows via MapReduce (Q980993) (← links)
- Backward type inference for XML queries (Q2182320) (← links)
- Theory and practice of unparsed patterns for metacompilation (Q2266943) (← links)
- A survey of strategies in rule-based program transformation systems (Q2456575) (← links)
- Efficiently Deciding μ-Calculus with Converse over Finite Trees (Q2957698) (← links)
- The Essence of Functional Programming on Semantic Data (Q2988667) (← links)
- Behavioural Analysis of Sessions Using the Calculus of Structures (Q3179170) (← links)
- Translation of tree-processing programs into stream-processing programs based on ordered linear type (Q3503191) (← links)
- Hedge Pattern Partial Derivative (Q3637349) (← links)
- Capability-based localization of distributed and heterogeneous queries (Q4577810) (← links)
- (Q5091145) (← links)
- (Q5216307) (← links)
- Inclusion Test Algorithms for One-Unambiguous Regular Expressions (Q5505596) (← links)
- Verification of tree-processing programs via higher-order mode checking (Q5740641) (← links)