James Cheney
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| A formalization of SQL with nulls Journal of Automated Reasoning | 2022-12-12 | Paper |
| Strongly-Normalizing Higher-Order Relational Queries Logical Methods in Computer Science | 2022-10-06 | Paper |
| scientific article; zbMATH DE number 7456047 (Why is no real title available?) | 2022-01-12 | Paper |
| scientific article; zbMATH DE number 7456047 (Why is no real title available?) (available as arXiv preprint) | 2022-01-12 | Paper |
| Query lifting. Language-integrated query for heterogeneous nested collections (available as arXiv preprint) | 2021-10-18 | Paper |
| Causality and the semantics of provenance | 2021-02-16 | Paper |
| Strongly normalizing audited computation (available as arXiv preprint) | 2020-05-26 | Paper |
| Verified self-explaining computation (available as arXiv preprint) | 2020-05-05 | Paper |
| Introduction to bidirectional transformations | 2019-02-15 | Paper |
| Explicit auditing (available as arXiv preprint) | 2018-11-23 | Paper |
| Explicit auditing | 2018-11-23 | Paper |
| Proof-relevant \(\pi\)-calculus: a constructive account of concurrency and causality Mathematical Structures in Computer Science | 2018-10-19 | Paper |
| Toward a theory of self-explaining computation | 2018-10-18 | Paper |
| Causally Consistent Dynamic Slicing (available as arXiv preprint) | 2018-03-21 | Paper |
| αCheck: A mechanized metatheory model checker Theory and Practice of Logic Programming | 2017-11-09 | Paper |
| Reflections on monadic lenses A List of Successes That Can Change the World | 2016-08-17 | Paper |
| A simple sequent calculus for nominal logic Journal Of Logic And Computation | 2016-07-07 | Paper |
| A simple nominal type theory Electronic Notes in Theoretical Computer Science | 2016-05-06 | Paper |
| Mechanizing the metatheory of LF ACM Transactions on Computational Logic | 2015-09-17 | Paper |
| Revisiting “forward node-selecting queries over trees” ACM Transactions on Database Systems | 2015-09-03 | Paper |
| Notions of bidirectional computation and entangled state monads Lecture Notes in Computer Science | 2015-08-27 | Paper |
| A practical theory of language-integrated query Proceedings of the 18th ACM SIGPLAN international conference on Functional programming | 2015-03-30 | Paper |
| FLUX: functional updates for XML Proceedings of the 13th ACM SIGPLAN international conference on Functional programming | 2015-03-16 | Paper |
| Scrap your nameplate (functional pearl) Proceedings of the tenth ACM SIGPLAN international conference on Functional programming | 2015-01-06 | Paper |
| Functional programs that explain their work Proceedings of the 17th ACM SIGPLAN international conference on Functional programming | 2014-07-21 | Paper |
| Formalizing adequacy: a case study for higher-order abstract syntax Journal of Automated Reasoning | 2013-08-01 | Paper |
| A core calculus for provenance Lecture Notes in Computer Science | 2012-06-29 | Paper |
| A dependent nominal type theory Logical Methods in Computer Science | 2012-04-03 | Paper |
| Provenance as dependency analysis Mathematical Structures in Computer Science | 2011-12-08 | Paper |
| Mechanizing the metatheory of mini-XQuery Certified Programs and Proofs | 2011-11-22 | Paper |
| Equivariant unification Journal of Automated Reasoning | 2011-01-12 | Paper |
| Regular Expression Subtyping for XML Query and Update Languages Programming Languages and Systems | 2008-04-11 | Paper |
| The Semantics of Nominal Logic Programs Logic Programming | 2008-03-11 | Paper |
| Completeness and Herbrand theorems for nominal logic | 2006-07-05 | Paper |
| Term Rewriting and Applications Lecture Notes in Computer Science | 2005-11-11 | Paper |
| Typed Lambda Calculi and Applications Lecture Notes in Computer Science | 2005-11-11 | Paper |
| Foundations of Software Science and Computational Structures Lecture Notes in Computer Science | 2005-11-10 | Paper |
| Logic Programming Lecture Notes in Computer Science | 2005-08-26 | Paper |
| Automata, Languages and Programming Lecture Notes in Computer Science | 2005-08-24 | Paper |
| scientific article; zbMATH DE number 1901217 (Why is no real title available?) | 2003-04-27 | Paper |
Research outcomes over time
This page was built for person: James Cheney
