@article{liellcock2026imprecise,
  title = "Imprecise Probabilistic Programming, Precisely (Functional Pearl): Credal Sets via Graded Monads, {BDD}s, and Semiring-Parametric Inference",
  author = "Jack Liell-Cock and Sam Staton",
  year = "2026",
  journal = "Proceedings of the ACM on Programming Languages",
  note = "Article 300",
  number = "ICFP",
  volume = "10",
  doi = "10.1145/3828698",
}