16 citations · 49 across the 16 of their papers we have counts for
Showing 2018Show all
3 papers · 1 filter
cs.LO2018
Explicit Auditing
Wilmer Ricciotti, James Cheney
The Calculus of Audited Units (CAU) is a typed lambda calculus resulting from a computational interpretation of Artemov's Justification Logic under the Curry-Howard isomorphism; it…
cs.PL2018
Incremental Relational Lenses
Rudi Horn, Roly Perera, James Cheney
Lenses are a popular approach to bidirectional transformations, a generalisation of the view update problem in databases, in which we wish to make changes to source tables to effec…
cs.PL2018
Language-integrated provenance in Haskell
Jan Stolarek, James Cheney
Scientific progress increasingly depends on data management, particularly to clean and curate data so that it can be systematically analyzed and reused. A wealth of techniques for…