@article(aumann,
 author       = {R. J. Aumann},
 year         = {1961},
 title        = {Borel structures for function spaces},
 journal      = {Illinois Journal of Mathematics},
 volume       = {5},
 pages        = {614--630},
 doi          = {10.1215/ijm/1255631584},
)
@inproceedings(distr,
 author       = {Jon Beck},
 year         = {1969},
 title        = {Distributive laws},
 editor       = {B. Eckmann},
 booktitle    = {Seminar on Triples and Categorical Homology Theory},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {119--140},
 doi          = {10.1007/BFb0083084},
)
@article(barany-gdatalog,
 author       = {B\IeC{\'a}r\IeC{\'a}ny, Vince and Balder ten Cate and Benny Kimelfeld and Dan Olteanu and Zografoula Vagena},
 year         = {2017},
 title        = {Declarative Probabilistic Programming with {D}atalog},
 journal      = {ACM Transactions on Database Systems (TODS)},
 volume       = {42},
 number       = {4},
 doi          = {10.1017/S1471068409003767},
)
@article(comp-syntax,
 author       = {Peter Buneman and Leonid Libkin and Dan Suciu and Val Tannen and Limsoon Wong},
 year         = {1994},
 title        = {Comprehension Syntax},
 journal      = {SIGMOD Rec.},
 volume       = {23},
 number       = {1},
 pages        = {87--96},
 doi          = {10.1145/153850.153853},
)
@inproceedings(open-world-prob-db,
 author       = {I I Ceylan and A Darwiche and Van den Broeck, Guy},
 year         = {2016},
 title        = {Open-World Probabilistic Databases},
 booktitle    = {Proc.~KR 2016},
 doi          = {10.1016/j.artint.2021.103474},
)
@inproceedings(dash,
 author       = {S. Dash and S. Staton},
 year         = {2020},
 title        = {A monad for probabilistic point processes},
 booktitle    = {Proc.~ACT 2020},
 doi          = {10.4204/EPTCS.333.2},
)
@article(problog,
 author       = {De Raedt, L and A Kimmig},
 year         = {2015},
 title        = {Probabilistic (logic) programming concepts},
 journal      = {Machine Learning},
 volume       = {100},
 number       = {1},
 pages        = {5--47},
 doi          = {10.1007/s10994-015-5494-z},
)
@incollection(giry,
 author       = {Mich{\`e}le Giry},
 year         = {1982},
 title        = {A categorical approach to probability theory},
 booktitle    = {Categorical aspects of topology and analysis ({O}ttawa, {O}nt., 1980)},
 series       = {Lecture Notes in Mathematics},
 volume       = {915},
 publisher    = {Springer},
 address      = {Berlin},
 pages        = {68--85},
 doi          = {10.1007/BFb0092872},
)
@inproceedings(goy-petrisan,
 author       = {Alexandre Goy and Daniela Petrisan},
 year         = {2020},
 title        = {Combining probabilistic and non-deterministic choice via weak distributive laws},
 booktitle    = {Proc.~LICS 2020},
 doi          = {10.1145/3373718.3394795},
)
@inproceedings(grohe-gdatalog,
 author       = {Martin Grohe and Benjamin Lucien Kaminski and Joost-Pieter Katoen and Peter Lindner},
 title        = {Generative Datalog with Continuous Distributions},
 booktitle    = {Proc.~PODS 2020},
 pages        = {347--360},
 doi          = {10.1145/3375395.3387659},
)
@inproceedings(grohe-lindner,
 author       = {Martin Grohe and Peter Lindner},
 year         = {2019},
 title        = {Probabilistic Databases with an Infinite Open-World Assumption},
 booktitle    = {Proc.~PODS 2019},
 pages        = {17--31},
 doi          = {10.1145/3294052.3319681},
)
@inproceedings(grohe-lindner-inf-prob,
 author       = {Martin Grohe and Peter Lindner},
 year         = {2020},
 title        = {Infinite Probabilistic Databases},
 booktitle    = {Proc.~ICDT 2020},
 doi          = {10.4230/LIPIcs.ICDT.2020.16},
)
@article(balg,
 author       = {Stephane Grumbach and Leonid Libkin and Tova Milo and Limsoon Wong},
 year         = {1996},
 title        = {Query languages for bags: expressive power and complexity},
 journal      = {SIGACT News (Database Theory Column)},
 pages        = {30--37},
 doi          = {10.1145/153850.153853},
)
@inproceedings(non-prob-aut,
 author       = {Gerco van Heerdt and Justin Hsu and Joel Ouaknine and Alexandra Silva},
 year         = {2018},
 title        = {Convex Language Semantics for Nondeterministic Probabilistic Automata},
 booktitle    = {Proc.~ICTAC 2018},
 doi          = {10.1007/3-540-45319-9_1},
)
@inproceedings(quasiborel,
 author       = {C. Heunen and O. Kammar and S. Staton and H. Yang},
 year         = {2017},
 title        = {A convenient category for higher-order probability theory},
 booktitle    = {Proc.~LICS 2017},
 publisher    = {IEEE Press},
 doi          = {10.1109/LICS.2017.8005137},
)
@inproceedings(jacobs-multisets,
 author       = {Bart Jacobs},
 year         = {2021},
 title        = {From Multisets over Distributions to Distributions over Multisets},
 booktitle    = {Proc.~LICS 2021},
 doi          = {10.1109/LICS52264.2021.9470678},
)
@inproceedings(jacobs-mfps,
 author       = {Bart Jacobs},
 year         = {2021},
 title        = {Multinomial and Hypergeometric distributions in Markov Categories},
 booktitle    = {Proc.~MFPS 2021},
)
@inproceedings(mcdb,
 author       = {Ravi Jampani and Fei Xu and Mingxi Wu and Luis Leopoldo Perez and Christopher Jermaine and Peter J. Haas},
 year         = {2008},
 title        = {{M}{C}{D}{B}: A {M}onte {C}arlo Approach to Managing Uncertain Data},
 booktitle    = {Sigmod 2008},
 doi          = {10.1145/1376616.1376686},
)
@misc(keimel-plotkin,
 author       = {Klaus Keimel and Gordon Plotkin},
 title        = {Mixed powerdomains for probability and nondeterminism},
 howpublished = {arXiv:1612.01005},
 doi          = {10.23638/LMCS-13(1:2)2017},
)
@inproceedings(pclean,
 author       = {A K Lew and M Agrawal and D Sontag and V K Mansinghka},
 year         = {2021},
 title        = {P{C}lean: {B}ayesian Data Cleaning at Scale with Domain-Specific Probabilistic Programming},
 booktitle    = {Proc.~AISTATS 2021},
)
@article(macchi-bags-measurable,
 author       = {Odile Macchi},
 year         = {1975},
 title        = {The Coincidence Approach to Stochastic Point Processes},
 journal      = {Advances in Applied Probability},
 volume       = {7},
 pages        = {83--122},
 doi          = {10.2307/1425855},
)
@inproceedings(mio-vignudelli,
 author       = {Matteo Mio and Valeria Vignudelli},
 year         = {2020},
 title        = {Monads and quantitative equational theories for nondeterminism and probabilities},
 booktitle    = {Proc.~CONCUR 2020},
 doi          = {10.4230/LIPIcs.CONCUR.2020.28},
)
@inproceedings(mow-prob-nondet,
 author       = {Michael W. Mislove and Jo\IeC{\"e}l Ouaknine and James Worrell},
 year         = {2003},
 title        = {Axioms for Probability and Nondeterminism},
 booktitle    = {Proc.~EXPRESS 2003},
 doi          = {10.1016/j.entcs.2004.04.019},
)
@article(moggi,
 author       = {Eugenio Moggi},
 year         = {1991},
 title        = {Notions of Computation and Monads},
 journal      = {Inf. Comput.},
 volume       = {93},
 number       = {1},
 pages        = {55\IeC{\textendash}92},
 doi          = {10.1016/0890-5401(91)90052-4},
)
@article(moyal-bagsmeas,
 author       = {Jose Enrique Moyal},
 year         = {1962},
 title        = {The General Theory of Stochastic Population Processes},
 journal      = {Acta Mathematica},
 volume       = {108},
 doi          = {10.1007/BF02545761},
)
@inproceedings(wadler-spj,
 author       = {Peyton Jones, Simon and Philip Wadler},
 year         = {2007},
 title        = {Comprehensive comprehensions},
 editor       = {Gabriele Keller},
 booktitle    = {Proceedings of the {ACM} {SIGPLAN} Workshop on Haskell, Haskell 2007, Freiburg, Germany, September 30, 2007},
 publisher    = {{ACM}},
 pages        = {61--72},
 doi          = {10.1145/1291201.1291209},
)
@inproceedings(bayesdb,
 author       = {F. Saad and V. Mansinghka},
 year         = {2016},
 title        = {A Probabilistic Programming Approach To Probabilistic Data Analysis},
 booktitle    = {NeurIPS},
)
@book(pdb-book,
 author       = {Dan Suciu and Dan Olteanu and R\IeC{\'e}, Christopher and Christoph Koch},
 year         = {2011},
 title        = {Probabilistic Databases},
 publisher    = {Morgan and Claypool},
 doi          = {10.1016/S0304-3975(96)00129-6},
)
@article(varacca,
 author       = {D Varacca and G Winskel},
 year         = {2006},
 title        = {Distributing probability over non-determinism},
 journal      = {Mathematical structures in computer science},
 volume       = {16},
 pages        = {87--113},
 doi          = {10.1017/S0960129505005074},
)
@article(wadler-comprehension,
 author       = {P Wadler},
 year         = {1992},
 title        = {Comprehending monads},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {2},
 pages        = {461--493},
 doi          = {10.1016/0304-3975(75)90017-1},
)
@inproceedings(russell,
 author       = {Yi Wu and Siddharth Srivastava and Nicholas Hay and Simon Du and Stuart J. Russell},
 year         = {2018},
 title        = {Discrete-Continuous Mixtures in Probabilistic Programming: Generalized Semantics and Inference Algorithms},
 booktitle    = {Proc.~ICML 2018},
 pages        = {5339--5348},
)
@inproceedings(zwart,
 author       = {Maaike Zwart and Dan Marsden},
 year         = {2019},
 title        = {No-Go Theorems for Distributive Laws},
 booktitle    = {Proc.~LICS 2019},
 doi          = {10.1109/LICS.2019.8785707},
)