{"id":"arxiv/2607.20801","url":"https://arxiv.org/abs/2607.20801","tags":["cs.PL","math.PR"],"score":0,"title":"Imprecise Probabilistic Programming, Precisely: Credal Sets via Graded Monads, BDDs, and Semiring-Parametric Inference (Functional Pearl)","domain":"cs.PL","source":"arxiv","authors":["Jack Liell-Cock","Sam Staton"],"reviews":0,"subject":"cs.PL","summary":"Imprecise probability generalizes standard probability theory by replacing a single distribution with a convex set of possible distributions. We show that this generalization requires no change to the standard BDD compilation and weighted model counting pipeline used by discrete probabilistic languages. An imprecise coin flip is simply a BDD variable whose weight is left free rather than fixed. We introduce Imp, a Haskell-embedded DSL for imprecise probabilistic programming. A graded monad, indexed by finite sets of named sources of epistemic uncertainty, restores the commutativity that the…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-07-23","reactions":{}}