Adam Scibior, Ohad Kammar, Matthijs Vákár, Sam Staton, Hongseok Yang, Yufei Cai, Klaus Ostermann, Sean K. Moss, Chris Heunen, Zoubin Ghahramani. Denotational validation of higher-order Bayesian inference. Proceedings of the ACM on Programming Languages, 2(POPL), 2018. [doi]
Abstract is missing.