The following pages link to CDuce (Q24362):
Displayed 47 items.
- 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)
- XPi: a typed process calculus for XML messaging (Q924673) (← 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 programmable editor for developing structured documents based on bidirectional transformations (Q2271900) (← links)
- A survey of strategies in rule-based program transformation systems (Q2456575) (← links)
- Sound and Complete Flow Typing with Unions, Intersections and Negations (Q2926650) (← links)
- Static and dynamic semantics of NoSQL languages (Q2931787) (← links)
- Identifying query incompatibilities with evolving XML schemas (Q2936820) (← links)
- Efficiently Deciding μ-Calculus with Converse over Finite Trees (Q2957698) (← links)
- Disjoint intersection types (Q2985786) (← links)
- The Essence of Functional Programming on Semantic Data (Q2988667) (← links)
- (Q3058276) (← links)
- Behavioural Analysis of Sessions Using the Calculus of Structures (Q3179170) (← links)
- Querying XML documents in logic programming (Q3506436) (← links)
- Tree Components Programming: An Application to XML (Q3525081) (← links)
- On deciding well-definedness for query languages on trees (Q3546341) (← links)
- Subtyping Algorithm of Regular Tree Grammars with Disjoint Production Rules (Q3585041) (← links)
- Satisfiability of a Spatial Logic with Tree Variables (Q3608409) (← links)
- Hedge Pattern Partial Derivative (Q3637349) (← links)
- Capability-based localization of distributed and heterogeneous queries (Q4577810) (← links)
- (Q4673440) (← links)
- A Coalgebraic Foundation for Coinductive Union Types (Q5167827) (← links)
- Extensible pattern matching via a lightweight language extension (Q5168922) (← links)
- Set-theoretic foundation of parametric polymorphism and subtyping (Q5176966) (← links)
- Parametric polymorphism and semantic subtyping (Q5176967) (← links)
- Types for path correctness of XML queries (Q5178031) (← links)
- Extension of Type-Based Approach to Generation of Stream-Processing Programs by Automatic Insertion of Buffering Primitives (Q5302882) (← links)
- Database Theory - ICDT 2005 (Q5316601) (← links)
- A Pushdown Machine for Recursive XML Processing (Q5385602) (← links)
- On Confluence of Infinitary Combinatory Reduction Systems (Q5387840) (← links)
- Theoretical Computer Science (Q5395069) (← links)
- Model Checking Higher-Order Programs (Q5395718) (← links)
- Regular Expression Subtyping for XML Query and Update Languages (Q5458384) (← links)
- Programming Languages and Systems (Q5464059) (← links)
- Programming Languages and Systems (Q5464060) (← links)
- Static analysis for path correctness of XML queries (Q5482283) (← links)
- Database Programming Languages (Q5493329) (← links)
- Database Programming Languages (Q5493333) (← links)
- OCaml + XDuce (Q5501466) (← links)
- Inclusion Test Algorithms for One-Unambiguous Regular Expressions (Q5505596) (← links)
- Automata, Languages and Programming (Q5716788) (← links)