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
POPL, 2018.
@article{POPL-2018-ScibiorKVSYCOMH,
author = "Adam Scibior and Ohad Kammar and Matthijs Vákár and Sam Staton and Hongseok Yang and Yufei Cai and Klaus Ostermann and Sean K. Moss and Chris Heunen and Zoubin Ghahramani",
doi = "10.1145/3158148",
journal = "{Proceedings of the ACM on Programming Languages}",
number = "POPL",
pages = "29",
publisher = "{ACM}",
title = "{Denotational validation of higher-order Bayesian inference}",
volume = 2,
year = 2018,
}
Tags:
