Val Tannen

Available identifiers

zbMath Open tannen.valMaRDI QIDQ555768

List of research outcomes

Publication	Date of Publication	Type
Tealeaves: structured monads for generic first-order abstract syntax infrastructure	2024-11-26	Paper
Iterating on multiple collections in synchrony	2022-09-02	Paper
Provenance analysis for logic and games	2020-11-10	Paper
Generalized Absorptive Polynomials and Provenance Semantics for Fixed-Point Logic	2019-10-17	Paper
Provenance propagation in complex queries	2018-10-18	Paper
m-tables: Representing Missing Data	2018-07-18	Paper
Algorithms for Provisioning Queries and Analytics	2017-07-14	Paper
Dynamic Sketching for Graph Optimization Problems with Applications to Cut-Preserving Sketches	2017-07-13	Paper
Reconcilable differences	2011-10-11	Paper
https://portal.mardi4nfdi.de/entity/Q5714248	2005-12-28	Paper
XML queries and constraints, containment and reformulation	2005-06-10	Paper
https://portal.mardi4nfdi.de/entity/Q4414537	2003-07-25	Paper
A query language for NC	1997-12-17	Paper
https://portal.mardi4nfdi.de/entity/Q4362973	1997-11-13	Paper
Principles of programming with complex objects and collection types	1997-02-28	Paper
A typed pattern calculus	1996-03-27	Paper

Research outcomes over time

This page was built for person: Val Tannen