![](/img/cover-not-exists.png)
Denotational validation of higher-order Bayesian inference
Ścibior, Adam, Ghahramani, Zoubin, Kammar, Ohad, Vákár, Matthijs, Staton, Sam, Yang, Hongseok, Cai, Yufei, Ostermann, Klaus, Moss, Sean K., Heunen, ChrisVolume:
2
Language:
english
Journal:
Proceedings of the ACM on Programming Languages
DOI:
10.1145/3158148
Date:
December, 2017
File:
PDF, 428 KB
english, 2017