Experimenting with an Intrinsically-Typed Probabilistic Programming Language in Coq.

Ayumu Saito, Reynald Affeldt

Browse the full APLAS paper archive.