Christopher A. Stone

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
Design and implementation of the andromeda proof assistant	2026-02-20	Paper
ProofLang: the language of arXiv proofs Lecture Notes in Computer Science	2024-02-28	Paper
Extensional equivalence and singleton types ACM Transactions on Computational Logic	2017-07-12	Paper
Deciding type equivalence in a language with singleton kinds Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2015-03-17	Paper
RZ: a Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice Journal Of Logic And Computation	2009-03-02	Paper
RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice Lecture Notes in Computer Science	2007-11-13	Paper
Privacy via subsumption Information and Computation	2003-01-14	Paper
scientific article; zbMATH DE number 1729277 (Why is no real title available?)	2002-07-02	Paper
The donation paradox for peremptory challenges Theory and Decision	2000-07-10	Paper
On the numerical accuracy of the Fokker-Planck approximation to the hierarchy of master equations Journal of Computational Physics	1993-05-16	Paper

Research outcomes over time

This page was built for person: Christopher A. Stone