Denotational validation of higher−order Bayesian inference
Adam Ścibior‚ Ohad Kammar‚ Matthijs Vákár‚ Sam Staton‚ Hongseok Yang‚ Yufei Cai‚ Klaus Ostermann‚ Sean K. Moss‚ Chris Heunen and Zoubin Ghahramani
Journal
Proc. ACM Program. Lang.
Number
POPL
Pages
60:1–60:29
Volume
2
Year
2018