Imprecise Probabilistic Programming‚ Precisely (Functional Pearl): Credal Sets via Graded Monads‚ BDDs‚ and Semiring−Parametric Inference
Jack Liell−Cock and Sam Staton
Journal
Proceedings of the ACM on Programming Languages
Note
Article 300
Number
ICFP
Volume
10
Year
2026