Header logo is pn

Denotational Validation of Higher-order Bayesian Inference

2018

Conference Paper

ei


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

Department(s): Empirical Inference
Research Project(s): Probabilistic Inference
Bibtex Type: Conference Paper (conference)

DOI: 10.1145/3158148

State: Published

BibTex

@conference{Scibioretal17,
  title = {Denotational Validation of Higher-order Bayesian Inference},
  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.},
  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}
}