Cited in
(71)- Sound and complete flow typing with unions, intersections and negations
- Database Theory - ICDT 2005
- Inclusion Test Algorithms for One-Unambiguous Regular Expressions
- Theoretical Computer Science
- Database Programming Languages
- Database Programming Languages
- OCaml + XDuce
- Behavioural analysis of sessions using the calculus of structures
- Tree Components Programming: An Application to XML
- A programmable editor for developing structured documents based on bidirectional transformations
- Frontiers of tractability for typechecking simple XML transformations
- XPi: a typed process calculus for XML messaging
- An algebraic theory for web service contracts
- On Confluence of Infinitary Combinatory Reduction Systems
- Querying XML documents in logic programming
- Extensible pattern matching via a lightweight language extension
- Model checking higher-order programs
- Automata, Languages and Programming
- Set-theoretic foundation of parametric polymorphism and subtyping
- Identifying query incompatibilities with evolving XML schemas
- Parametric polymorphism and semantic subtyping
- Hedge Pattern Partial Derivative
- The essence of functional programming on semantic data
- A descriptive type foundation for RDF Schema
- Typechecking top-down XML transformations: Fixed input or output schemas
- Static and dynamic semantics of NoSQL languages
- Subtyping algorithm of regular tree grammars with disjoint production rules
- Elkhound
- TulaFale
- PiDuce
- BRNGLR
- ATERM
- TAMPR
- XQuery
- Facile
- XPi
- XMLTK
- PIPER
- TXL
- biXid
- XDuce
- KIDS
- Stardust
- UnQL
- Hop
- BioPortal
- Kleisli
- Groovy
- Turtle
- Nemerle
- MiniML
- A survey of strategies in rule-based program transformation systems
- scientific article; zbMATH DE number 2163053 (Why is no real title available?)
- PiDuce- A project for experimenting web services technologies
- Disjoint intersection types
- Types for path correctness of XML queries
- Efficiently deciding \(\mu\)-calculus with converse over finite trees
- Extension of Type-Based Approach to Generation of Stream-Processing Programs by Automatic Insertion of Buffering Primitives
- Programming Languages and Systems
- Theory and practice of unparsed patterns for metacompilation
- On deciding well-definedness for query languages on trees
- Regular Expression Subtyping for XML Query and Update Languages
- Static analysis for path correctness of XML queries
- A Pushdown Machine for Recursive XML Processing
- Backward type inference for XML queries
- Satisfiability of a Spatial Logic with Tree Variables
- Capability-based localization of distributed and heterogeneous queries
- A coalgebraic foundation for coinductive union types
- Programming Languages and Systems
- Foundations of XML processing. The tree-automata approach.
- Parallelizing XML data-streaming workflows via MapReduce
This page was built for software: CDuce
