Empirical Inference
Conference Paper
2018
Denotational Validation of Higher-order Bayesian Inference
| Author(s): | Ścibior, A. and Kammar, O. and Vákár, M. and Staton, S. and Yang, H. and Cai, Y. and Ostermann, K. and Moss, S. K. and Heunen, C. and Ghahramani, Z. |
| Book Title: | Proceedings of the ACM on Principles of Programming Languages (POPL) |
| Journal: | Proceedings of the ACM on Programming Languages |
| Volume: | 2 |
| Number (issue): | Article No. 60 |
| Pages: | 1--29 |
| Year: | 2018 |
| Publisher: | ACM |
| Project(s): | |
| Bibtex Type: | Conference Paper (conference) |
| DOI: | 10.1145/3158148 |
| State: | Published |
| Electronic Archiving: | grant_archive |
BibTex
@conference{Scibioretal17,
title = {Denotational Validation of Higher-order Bayesian Inference},
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},
slug = {scibioretal17},
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.}
}