Semantics of Probabilistic Programs using s-Finite Kernels in Coq - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Reynald Affeldt, Cyril Cohen, Ayumu Saito. Semantics of Probabilistic Programs using s-Finite Kernels in Coq. In Robbert Krebbers, Dmitriy Traytel, Brigitte Pientka, Steve Zdancewic, editors, Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2023, Boston, MA, USA, January 16-17, 2023. pages 3-16, ACM, 2023. [doi]

This author has not been identified. Look up 'Reynald Affeldt' in GoogleThis author has not been identified. Look up 'Cyril Cohen' in GoogleThis author has not been identified. Look up 'Ayumu Saito' in Google

runs on WebDSL