@inproceedings{
  Heunen_2017,
  author = {Heunen, Chris and Kammar, Ohad and Staton, Sam and Yang, Hongseok},
  title = {A Convenient Category for Higher-Order Probability Theory},
  year = {2017},
  isbn = {9781509030187},
  publisher = {IEEE Press},
  booktitle = {Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science},
  articleno = {77},
  numpages = {12},
  location = {Reykjav\'{\i}k, Iceland},
  series = {LICS '17}
}

@article{Sato_2019,
   title={Formal verification of higher-order probabilistic programs: reasoning about approximation, convergence, Bayesian inference, and optimization},
   volume={3},
   ISSN={2475-1421},
   url={http://dx.doi.org/10.1145/3290351},
   DOI={10.1145/3290351},
   number={POPL},
   journal={Proceedings of the ACM on Programming Languages},
   publisher={Association for Computing Machinery (ACM)},
   author={Sato, Tetsuya and Aguirre, Alejandro and Barthe, Gilles and Gaboardi, Marco and Garg, Deepak and Hsu, Justin},
   year={2019},
   month={Jan},
   pages={1–30}
}

@misc{Adrian_PL,
  title = {Probabilistic Programming},
  author = {Sampson, Adrian},
  key = {Probabilistic programming},
  howpublished = {\url{http://adriansampson.net/doc/ppl.html}},
  note = {Accessed: January 25. 2023}
}

@inproceedings{10.1145/3573105.3575691,
  author = {Affeldt, Reynald and Cohen, Cyril and Saito, Ayumu},
  title = {Semantics of Probabilistic Programs Using S-Finite Kernels in {Coq}},
  year = {2023}, isbn = {9798400700262},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  doi = {10.1145/3573105.3575691},
  booktitle = {Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs},
  pages = {3–16},
  numpages = {14},
  keywords = {probabilistic programming language, measure theory, integration theory, Coq},
  location = {Boston, MA, USA}, series = {CPP 2023}
}

@inbook{staton_2020,
  place={Cambridge},
  title={Probabilistic Programs as Measures},
  DOI={10.1017/9781108770750.003},
  booktitle={Foundations of Probabilistic Programming},
  publisher={Cambridge University Press},
  author={Staton, Sam},
  year={2020},
  pages={43–74}
}

@InProceedings{staton_2017,
author="Staton, Sam",
editor="Yang, Hongseok",
title="Commutative Semantics for Probabilistic Programming",
booktitle="Programming Languages and Systems",
year="2017",
publisher="Springer Berlin Heidelberg",
address="Berlin, Heidelberg",
pages="855--879",
abstract="We show that a measure-based denotational semantics for probabilistic programming is commutative.",
isbn="978-3-662-54434-1"
}

@misc{HongseokLecture2017,
	title={Semantics of Higher-Order Probabilistic Programs with Continuous Distributions},
  author = {Hongseok Yang},
  howpublished = {\url{https://alfa.di.uminho.pt/~nevrenato/probprogschool_slides/Hongseok.pdf}},
  note = {Accessed: February 8. 2023}
}