TY  - RPRT
TI  - Imprecise Probabilistic Programming, Precisely: Credal Sets via Graded Monads, BDDs, and Semiring-Parametric Inference (Functional Pearl)
AU  - Jack Liell-Cock
AU  - Sam Staton
PY  - 2026
DO  - 10.1145/3828698
UR  - https://arxiv.org/abs/2607.20801
ID  - 2607.20801
ER  -