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
