@inproceedings(distr,
 author       = {J. 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},
)
@inproceedings(giry-machine,
 author       = {F. Dahlqvist and V. Danos and I. Garnier},
 year         = {2016},
 title        = {Giry and the {M}achine},
 booktitle    = {Proc.~MFPS 2016},
 pages        = {85--110},
 doi          = {10.1016/j.entcs.2016.09.033},
)
@inproceedings(dahlqvist-kozen,
 author       = {F. Dahlqvist and D. Kozen},
 year         = {2020},
 title        = {Semantics of Higher-Order Probabilistic Programs with Conditioning},
 booktitle    = {Proc.~POPL 2020},
 doi          = {10.1017/S0960129516000426},
)
@inproceedings(parlant,
 author       = {F. Dahlqvist and L. Parlant and A. Silva},
 year         = {2018},
 title        = {Layer by Layer -- Combining Monads},
 booktitle    = {Proc.~ICTAC 2018},
 doi          = {10.2168/lmcs-3(4:11)2007},
)
@book(ppbook,
 author       = {D. Daley and Vere-Jones, D.},
 year         = {2006},
 title        = {An Introduction to the Theory of Point Processes: Volume I: Elementary Theory and Methods},
 series       = {Probability and Its Applications},
 publisher    = {Springer New York},
)
@inproceedings(dirichlet-is-natural,
 author       = {V. Danos and I. Garnier},
 year         = {2015},
 title        = {Dirichlet is Natural},
 booktitle    = {Proc.~MFPS 2015},
 series       = {Electr.~Notes Theoret.~Comput.~Sci},
 volume       = {319},
 pages        = {137--164},
 doi          = {10.1016/j.entcs.2015.12.010},
)
@misc(lafi2020,
 author       = {S. Dash and S. Staton},
 year         = {2020},
 title        = {A Monad for Point Processes},
 howpublished = {Talk at LAFI 2020},
)
@article(cones,
 author       = {T. Ehrhard and M. Pagani and C. Tasson},
 year         = {2018},
 title        = {Measurable cones and stable, measurable functions: a model for probabilistic higher-order programming},
 journal      = {Proc. ACM Program.~Lang. (POPL)},
 volume       = {2},
 doi          = {10.1145/3158147},
)
@misc(fritz,
 author       = {T. Fritz},
 year         = {2019},
 title        = {A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics},
 howpublished = {arxiv:1908.07021},
)
@inproceedings(support-morphism,
 author       = {T. Fritz and P. Perrone and S. Rezagholi},
 year         = {2019},
 title        = {The support is a morphism of monads},
 booktitle    = {Proc.~ACT 2019},
)
@inproceedings(garner,
 author       = {R. Garner},
 year         = {2019},
 title        = {Hypernormalisation, linear exponential monads and the {G}iry tricocycloid},
 booktitle    = {Proc.~ACT 2019},
)
@incollection(giry,
 author       = {M. 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(church,
 author       = {N.D. Goodman and V.K. Mansinghka and D.M. Roy and K. Bonawitz and J.B. Tenenbaum},
 year         = {2008},
 title        = {Church: a language for generative models},
 booktitle    = {Proc.~UAI 2008},
 pages        = {220--229},
)
@inproceedings(goy-petrisan,
 author       = {A. Goy and D. Petrisan},
 year         = {2020},
 title        = {Combining probabilistic and non-deterministic choice via weak distributive laws},
 booktitle    = {Proc.~LICS 2020},
 doi          = {10.1017/S0960129505005074},
)
@inproceedings(grohe-lindner,
 author       = {M. Grohe and P. Lindner},
 year         = {2019},
 title        = {Probabilistic Databases with an Infinite Open-World Assumption},
 booktitle    = {Proc.~PODS 2019},
 pages        = {17--31},
 doi          = {10.1145/3294052.3319681},
)
@misc(hamano,
 author       = {M. Hamano},
 year         = {2019},
 title        = {A Linear Exponential Comonad in s-finite Transition Kernels and Probabilistic Coherent Spaces},
 howpublished = {arxiv:1909.07589},
)
@incollection(nips1,
 author       = {T. Herlau and M.N. Schmidt and M. Morup},
 year         = {2016},
 title        = {Completely random measures for modelling block-structured sparse networks},
 booktitle    = {Proc.~NeurIPS 2016},
 pages        = {4260--4268},
 doi          = {10.5555/3157382.3157574},
)
@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},
)
@misc(jacobs-book,
 author       = {B. Jacobs},
 year         = {2019},
 title        = {Structured Probabilitistic Reasoning},
 howpublished = {Draft available from the author's website},
)
@inproceedings(jacobs-staton,
 author       = {B. Jacobs and S. Staton},
 year         = {2020},
 title        = {De {F}inetti's construction as a categorical limit},
 booktitle    = {Proc.~CMCS 2020},
)
@inproceedings(jacobs-freq,
 author       = {B. Jacobs},
 year         = {2019},
 title        = {Learning along a Channel:the Expectation part of Expectation-Maximisation},
 booktitle    = {Proc.~MFPS 2019},
 doi          = {10.1016/j.entcs.2019.09.008},
)
@misc(keimel-plotkin,
 author       = {K. Keimel and G. Plotkin},
 title        = {Mixed powerdomains for probability and nondeterminism},
 howpublished = {arXiv:1612.01005},
)
@article(mccullagh,
 author       = {P. McCullagh},
 year         = {2002},
 title        = {What is a statistical model?},
 journal      = {Annals of Statistics},
 volume       = {30},
 number       = {5},
 pages        = {1225--1310},
 doi          = {10.1214/aos/1035844977},
)
@article(moggi,
 author       = {E. Moggi},
 year         = {1991},
 title        = {Notions of Computation and Monads},
 journal      = {Inf. Comput.},
 volume       = {93},
 number       = {1},
 pages        = {55–92},
 doi          = {10.1016/0890-5401(91)90052-4},
)
@inproceedings(hakaru,
 author       = {P. Narayanan and J. Carette and W. Romano and C. Shan and R. Zinkov},
 year         = {2016},
 title        = {Probabilistic inference by program transformation in {H}akaru (system description)},
 booktitle    = {Proc.~FLOPS 2016},
 organization = {Springer},
 pages        = {62--79},
 doi          = {10.1007/978-3-319-29604-3_5},
)
@book(measure-prob,
 author       = {D. Pollard},
 year         = {2001},
 title        = {A User's Guide to Measure Theoretic Probability},
 publisher    = {CUP},
 doi          = {10.1017/CBO9780511811555},
)
@inproceedings(simpson,
 author       = {A. Simpson},
 year         = {2017},
 title        = {Probability Sheaves and the {G}iry Monad},
 booktitle    = {Proc.~CALCO 2017},
 doi          = {10.4230/LIPIcs.CALCO.2017.1},
)
@inproceedings(sfinite,
 author       = {S. Staton},
 year         = {2017},
 title        = {Commutative semantics for Probabilistic Programming},
 booktitle    = {Proc.~ESOP 2017},
 series       = {Lect.~Notes Comput.~Sci.},
 volume       = {10201},
 publisher    = {Springer},
 pages        = {855--879},
 doi          = {10.1007/978-3-662-46669-8_3},
)
@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},
)
@inproceedings(smc,
 author       = {F. Wood and {van de Meent}, J.W. and V. Mansinghka},
 year         = {2014},
 title        = {A new approach to probabilistic programming inference},
 booktitle    = {Proc.~AISTATS 2014},
)
@inproceedings(russell,
 author       = {Y. Wu and S. Srivastava and N. Hay and S. Du and S.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       = {M. Zwart and D. Marsden},
 year         = {2019},
 title        = {No-Go Theorems for Distributive Laws},
 booktitle    = {Proc.~LICS 2019},
 doi          = {10.1109/LICS.2019.8785707},
)