@misc{indiciaee57cbdf56732,
  title = {Imprecise Probabilistic Programming, Precisely: Credal Sets via Graded Monads, BDDs, and Semiring-Parametric Inference (Functional Pearl)},
  author = {Jack Liell-Cock and Sam Staton},
  year = {2026},
  doi = {10.1145/3828698},
  url = {https://arxiv.org/abs/2607.20801},
  note = {Source identifier: 2607.20801}
}