@article{liellcock2025compositional, title = "Compositional Imprecise Probability: A Solution from Graded Monads and {M}arkov Categories", author = "Jack Liell-Cock and Sam Staton", year = "2025", journal = "Proceedings of the ACM on Programming Languages", number = "POPL", pages = "1596--1626", volume = "9", doi = "10.1145/3704890", }