The following pages link to XDuce (Q24364):
Displaying 50 items.
- An algebraic theory for web service contracts (Q493534) (← links)
- A descriptive type foundation for RDF Schema (Q739626) (← links)
- Regular expression order-sorted unification and matching (Q741252) (← links)
- PiDuce- A project for experimenting web services technologies (Q838158) (← links)
- On the tree-transformation power of XSLT (Q855270) (← 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)
- Backward type inference for XML queries (Q2182320) (← links)
- Behavioural equivalences for dynamic web data (Q2474049) (← links)
- MetaOCaml server pages: web publishing as staged computation (Q2507776) (← links)
- Judgmental subtyping systems with intersection types and modal types (Q2510384) (← links)
- A Semantic Basis for Proof Queries and Transformations (Q2870114) (← links)
- Sound and Complete Flow Typing with Unions, Intersections and Negations (Q2926650) (← links)
- Identifying query incompatibilities with evolving XML schemas (Q2936820) (← links)
- The Essence of Functional Programming on Semantic Data (Q2988667) (← links)
- (Q3058276) (← links)
- Context logic as modal logic (Q3189791) (← links)
- (Q3435328) (← links)
- Querying XML documents in logic programming (Q3506436) (← links)
- On deciding well-definedness for query languages on trees (Q3546341) (← links)
- A Grammar-Based Approach to Invertible Programs (Q3558241) (← links)
- Subtyping Algorithm of Regular Tree Grammars with Disjoint Production Rules (Q3585041) (← links)
- Complexity of Decision Problems for XML Schemas and Chain Regular Expressions (Q3586189) (← links)
- Satisfiability of a Spatial Logic with Tree Variables (Q3608409) (← links)
- A Typed Calculus for Querying Distributed XML Documents (Q3608459) (← links)
- Optimizing Schema Languages for XML: Numerical Constraints and Interleaving (Q3642874) (← links)
- Type Checking of Tree Walking Transducers (Q4907863) (← links)
- Nested Regular Expressions Can Be Compiled to Small Deterministic Nested Word Automata (Q5042238) (← links)
- A Coalgebraic Foundation for Coinductive Union Types (Q5167827) (← links)
- Set-theoretic foundation of parametric polymorphism and subtyping (Q5176966) (← links)
- Parametric polymorphism and semantic subtyping (Q5176967) (← links)
- CDuce (Q5261266) (← links)
- Extension of Type-Based Approach to Generation of Stream-Processing Programs by Automatic Insertion of Buffering Primitives (Q5302882) (← links)
- Mathematical Foundations of Computer Science 2004 (Q5311160) (← links)
- Mathematics of Program Construction (Q5313100) (← links)
- Database Theory - ICDT 2005 (Q5316601) (← links)
- Database Theory - ICDT 2005 (Q5316616) (← links)
- A Pushdown Machine for Recursive XML Processing (Q5385602) (← links)
- Theoretical Computer Science (Q5395059) (← links)
- Regular Expression Subtyping for XML Query and Update Languages (Q5458384) (← links)
- Programming Languages and Systems (Q5464060) (← links)
- (Q5470179) (← links)
- (Q5478330) (← links)
- Static analysis for path correctness of XML queries (Q5482283) (← links)
- Automated Technology for Verification and Analysis (Q5491867) (← links)
- Database Programming Languages (Q5493329) (← links)
- OCaml + XDuce (Q5501466) (← links)
- biXid (Q5501468) (← links)
- Inclusion Test Algorithms for One-Unambiguous Regular Expressions (Q5505596) (← links)
