Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2025, Denver, CO, USA, January 20-21, 2025

Kathrin Stark, Amin Timany, Sandrine Blazy, Nicolas Tabareau, editors, Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2025, Denver, CO, USA, January 20-21, 2025. ACM, 2025. [doi]

Conference: CPP2025

Abstract

Abstract is missing.

Table of Contents