@conference{Scibioretal17, title = {Denotational Validation of Higher-order Bayesian Inference}, author = {\'{S}cibior, A. and Kammar, O. and V\'{a}k\'{a}r, M. and Staton, S. and Yang, H. and Cai, Y. and Ostermann, K. and Moss, S. K. and Heunen, C. and Ghahramani, Z.}, journal = {Proceedings of the ACM on Programming Languages}, booktitle = {Proceedings of the ACM on Principles of Programming Languages (POPL)}, volume = {2}, number = {Article No. 60}, pages = {1--29}, publisher = {ACM}, year = {2018}, doi = {10.1145/3158148} }