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

2023-09-04.
→
←