James Cheney

Available identifiers

zbMath Open cheney.jamesMaRDI QIDQ616848

List of research outcomes

Publication	Date of Publication	Type
A formalization of SQL with nulls	2022-12-12	Paper
Strongly-Normalizing Higher-Order Relational Queries	2022-10-06	Paper
https://portal.mardi4nfdi.de/entity/Q5021216	2022-01-12	Paper
Query lifting. Language-integrated query for heterogeneous nested collections	2021-10-18	Paper
https://portal.mardi4nfdi.de/entity/Q5151018	2021-02-16	Paper
https://portal.mardi4nfdi.de/entity/Q5111206	2020-05-26	Paper
Verified self-explaining computation	2020-05-05	Paper
Introduction to bidirectional transformations	2019-02-15	Paper
Explicit auditing	2018-11-23	Paper
Proof-relevant π-calculus: a constructive account of concurrency and causality	2018-10-19	Paper
Toward a theory of self-explaining computation	2018-10-18	Paper
Causally Consistent Dynamic Slicing	2018-03-21	Paper
αCheck: A mechanized metatheory model checker	2017-11-09	Paper
Reflections on Monadic Lenses	2016-08-17	Paper
A simple sequent calculus for nominal logic	2016-07-07	Paper
A simple nominal type theory	2016-05-06	Paper
Mechanizing the metatheory of LF	2015-09-17	Paper
Revisiting “forward node-selecting queries over trees”	2015-09-03	Paper
Notions of Bidirectional Computation and Entangled State Monads	2015-08-27	Paper
A practical theory of language-integrated query	2015-03-30	Paper
FLUX	2015-03-16	Paper
Scrap your nameplate	2015-01-06	Paper
Functional programs that explain their work	2014-07-21	Paper
Formalizing adequacy: a case study for higher-order abstract syntax	2013-08-01	Paper
A Core Calculus for Provenance	2012-06-29	Paper
A dependent nominal type theory	2012-04-03	Paper
Provenance as dependency analysis	2011-12-08	Paper
Mechanizing the Metatheory of mini-XQuery	2011-11-22	Paper
Equivariant unification	2011-01-12	Paper
Regular Expression Subtyping for XML Query and Update Languages	2008-04-11	Paper
The Semantics of Nominal Logic Programs	2008-03-11	Paper
Completeness and Herbrand theorems for nominal logic	2006-07-05	Paper
Term Rewriting and Applications	2005-11-11	Paper
Typed Lambda Calculi and Applications	2005-11-11	Paper
Foundations of Software Science and Computational Structures	2005-11-10	Paper
Logic Programming	2005-08-26	Paper
Automata, Languages and Programming	2005-08-24	Paper
https://portal.mardi4nfdi.de/entity/Q4803644	2003-04-27	Paper

Research outcomes over time

This page was built for person: James Cheney