TyDe 2023 Talk on a Probabilistic Programming Language
A extended abstract “An Intrinsically-typed Probabilistic Programming Language in Coq” written by Saito and Affeldt is presented at the Workshop on Type-Driven Development (TyDe 2023).
👉Project page