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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: James Cheney