The following pages link to Val Tannen (Q555768):
Displaying 15 items.
- XML queries and constraints, containment and reformulation (Q555769) (← links)
- Reconcilable differences (Q639856) (← links)
- Principles of programming with complex objects and collection types (Q672333) (← links)
- A query language for NC (Q1376409) (← links)
- Provenance propagation in complex queries (Q1799316) (← links)
- A typed pattern calculus (Q1908354) (← links)
- Provenance analysis for logic and games (Q2211257) (← links)
- m-tables: Representing Missing Data (Q3174916) (← links)
- (Q4362973) (← links)
- (Q4414537) (← links)
- Iterating on multiple collections in synchrony (Q5101923) (← links)
- Algorithms for Provisioning Queries and Analytics (Q5276198) (← links)
- Dynamic Sketching for Graph Optimization Problems with Applications to Cut-Preserving Sketches (Q5278310) (← links)
- (Q5714248) (← links)
- Tealeaves: structured monads for generic first-order abstract syntax infrastructure (Q6642993) (← links)
