Zachary Stone

According to our database¹, Zachary Stone authored at least 3 papers between 2018 and 2025.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2025

A Formal Foundation for Equational Reasoning on Probabilistic Programs.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems - 23rd Asian Symposium, 2025

2024

A Comprehensive Overview of the Lebesgue Differentiation Theorem in Coq.

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Interactive Theorem Proving, 2024

2018

A Structural Theory of Derivations.

[BibT_eX]

[DOI]

PhD thesis, 2018