@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},
)