Search filters

List of works by James Cheney

Constraint-based type inference for FreezeML

scientific article published in 2022

Curated Databases

scholarly article

DBWiki

scientific article published in 2011

Dynamic Provenance for SPARQL Updates

scientific article published at ISWC 2014

Is provenance logical?

article

One down, 699 to go: or, synthesising compositional desugarings

scientific article published on 15 October 2021

Satisfiability algorithms for conjunctive queries over trees

scientific article published in 2011

Paulina is supported by:

About Paulina

Help