[12] A. D. Gordon, T. A. Henzinger, A. V. Nori, and S. K. Rajamani. Probabilistic programming. In J. D. Herbsleb and M. B. Dwyer, editors, Proceedings of the on Future of Software Engineering, FOSE 2014, Hyderabad, India, May 31 - June 7, 2014, pages 167-181. ACM, 2014. doi: 10.1145/2593882.2593900. URL https://doi.org/10.1145/2593882.2593900.
[13] A. Griewank and A. Walther. Evaluating derivatives - principles and techniques of algorithmic differentiation, Second Edition. SIAM, 2008. ISBN 978-0-89871-659-7. doi: 10.1137/1.9780898717761. URL https://doi.org/10.1137/1.9780898717761.
[14] A. Gut. Probability: A Graduate Course. Springer Texts in Statistics. Springer, New York, second edition, 2013. ISBN 978-1-4614-4707-8; 978-1-4614-4708-5. doi: 10.1007/978-1-4614-4708-5. URL https://doi.org/10.1007/978-1-4614-4708-5.
[15] J. Harviainen, V. P. Ramaswamy, and M. Koivisto. On inference and learning with probabilistic generating circuits. In R. J. Evans and I. Shpitzer, editors, Uncertainty in Artificial Intelligence, UAI 2023, July 31 - 4 August 2023, Pittsburgh, PA, USA, volume 216 of Proceedings of Machine Learning Research, pages 829-838. PMLR, 2023. URL https://proceedings.mlr.press/v216/harviainen23b.html.
[16] S. Holtzen, G. V. den Broeck, and T. D. Millstein. Scaling exact inference for discrete probabilistic programs. Proc. ACM Program. Lang., 4(OOPSLA):140:1-140:31, 2020. doi: 10.1145/3428208. URL https://doi.org/10.1145/3428208.
[17] L. Klinkenberg, K. Batz, B. L. Kaminski, J. Katoen, J. Moerman, and T. Winkler. Generating functions for probabilistic programs. In M. Fernández, editor, Logic-Based Program Synthesis and Transformation - 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020, Proceedings, volume 12561 of Lecture Notes in Computer Science, pages 231-248. Springer, 2020. doi: 10.1007/978-3-030-68446-4 $_{12}$ . URL https://doi.org/10.1007/978-3-030-68446-4 $_{12}$ .
[18] L. Klinkenberg, C. Blumenthal, M. Chen, and J. Katoen. Exact bayesian inference for loopy probabilistic programs. CoRR, abs/2307.07314, 2023. doi: 10.48550/arXiv.2307.07314. URL https://doi.org/10.48550/arXiv.2307.07314.
[19] D. Kozen. Semantics of probabilistic programs. J. Comput. Syst. Sci., 22(3):328-350, 1981. doi: 10.1016/0022-0000(81)90036-2. URL https://doi.org/10.1016/0022-0000(81)90036-2.
[20] N. D. Matsakis and F. S. K. II. The rust language. In M. Feldman and S. T. Taft, editors, Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, HILT 2014, Portland, Oregon, USA, October 18-21, 2014, pages 103-104. ACM, 2014. doi: 10.1145/2663171.2663188. URL https://doi.org/10.1145/2663171.2663188.
[21] P. Narayanan, J. Carette, W. Romano, C. Shan, and R. Zinkov. Probabilistic inference by program transformation in hakaru (system description). In O. Kiselyov and A. King, editors, Functional and Logic Programming - 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings, volume 9613 of Lecture Notes in Computer Science, pages 62-79. Springer, 2016. doi: 10.1007/978-3-319-29604-3_5. URL https://doi.org/10.1007/978-3-319-29604-3_5.
[22] F. A. Saad, M. C. Rinard, and V. K. Mansinghka. SPPL: probabilistic programming with fast exact symbolic inference. In S. N. Freund and E. Yahav, editors, PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Virtual Event, Canada, June 20-25, 2021, pages 804-819. ACM, 2021. doi: 10.1145/3453483.3454078. URL https://doi.org/10.1145/3453483.3454078.
[23] J. Salvatier, T. V. Wiecki, and C. Fonnesbeck. Probabilistic programming in python using pymc3. PeerJ Comput. Sci., 2:e55, 2016. doi: 10.7717/peerj-cs.55. URL https://doi.org/10.7717/peerj-cs.55.
[24] D. Tolpin, J. van de Meent, and F. D. Wood. Probabilistic programming in anglican. In European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2015, volume 9286 of LNCS. Springer, 2015. doi: 10.1007/978-3-319-23461-8_36.