APLAS 2023 Paper on a Mechanized Formalization of a Probabilistic Programming Language
A paper “Experimenting with an Intrinsically-typed Probabilistic Programming Language in Coq” written by Saito and Affeldt is presented at The 21st Asian Symposium on Programming Languages and Systems (APLAS 2023).
👉Project Page