James Cheney

From MaRDI portal
Person:616848

Available identifiers

zbMath Open cheney.jamesMaRDI QIDQ616848

List of research outcomes

PublicationDate of PublicationType
A formalization of SQL with nulls2022-12-12Paper
Strongly-Normalizing Higher-Order Relational Queries2022-10-06Paper
https://portal.mardi4nfdi.de/entity/Q50212162022-01-12Paper
Query lifting. Language-integrated query for heterogeneous nested collections2021-10-18Paper
https://portal.mardi4nfdi.de/entity/Q51510182021-02-16Paper
https://portal.mardi4nfdi.de/entity/Q51112062020-05-26Paper
Verified self-explaining computation2020-05-05Paper
Introduction to bidirectional transformations2019-02-15Paper
Explicit auditing2018-11-23Paper
Proof-relevant π-calculus: a constructive account of concurrency and causality2018-10-19Paper
Toward a theory of self-explaining computation2018-10-18Paper
Causally Consistent Dynamic Slicing2018-03-21Paper
αCheck: A mechanized metatheory model checker2017-11-09Paper
Reflections on Monadic Lenses2016-08-17Paper
A simple sequent calculus for nominal logic2016-07-07Paper
A Simple Nominal Type Theory2016-05-06Paper
Mechanizing the metatheory of LF2015-09-17Paper
Revisiting “forward node-selecting queries over trees”2015-09-03Paper
Notions of Bidirectional Computation and Entangled State Monads2015-08-27Paper
A practical theory of language-integrated query2015-03-30Paper
FLUX2015-03-16Paper
Scrap your nameplate2015-01-06Paper
Functional programs that explain their work2014-07-21Paper
Formalizing adequacy: a case study for higher-order abstract syntax2013-08-01Paper
A Core Calculus for Provenance2012-06-29Paper
A dependent nominal type theory2012-04-03Paper
Provenance as dependency analysis2011-12-08Paper
Mechanizing the Metatheory of mini-XQuery2011-11-22Paper
Equivariant unification2011-01-12Paper
Regular Expression Subtyping for XML Query and Update Languages2008-04-11Paper
The Semantics of Nominal Logic Programs2008-03-11Paper
Completeness and Herbrand theorems for nominal logic2006-07-05Paper
Term Rewriting and Applications2005-11-11Paper
Typed Lambda Calculi and Applications2005-11-11Paper
Foundations of Software Science and Computational Structures2005-11-10Paper
Logic Programming2005-08-26Paper
Automata, Languages and Programming2005-08-24Paper
https://portal.mardi4nfdi.de/entity/Q48036442003-04-27Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: James Cheney