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; Zoubin Ghahramani

doi:10.1145/3158148

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, Zoubin Ghahramani

University of Oxford

Research output: Contribution to journal › Article › Academic › peer-review

Original language	English
Pages (from-to)	60:1-60:29
Journal	Proceedings of the ACM on Programming Languages
Volume	2
DOIs	https://doi.org/10.1145/3158148
Publication status	Published - 2018
Externally published	Yes

Access to Document

10.1145/3158148

https://doi.org/10.1145/3158148

Cite this

@article{5c7969d124074a93978e83a34ca78b93,

title = "Denotational validation of higher-order Bayesian inference",

author = "Adam {\'S}cibior and Ohad Kammar and Matthijs V{\'a}k{\'a}r and Sam Staton and Hongseok Yang and Yufei Cai and Klaus Ostermann and Moss, {Sean K.} and Chris Heunen and Zoubin Ghahramani",

year = "2018",

doi = "10.1145/3158148",

language = "English",

volume = "2",

pages = "60:1--60:29",

journal = "Proceedings of the ACM on Programming Languages",

issn = "2475-1421",

publisher = "Association for Computing Machinery",

}

TY - JOUR

T1 - Denotational validation of higher-order Bayesian inference

AU - Ścibior, Adam

AU - Kammar, Ohad

AU - Vákár, Matthijs

AU - Staton, Sam

AU - Yang, Hongseok

AU - Cai, Yufei

AU - Ostermann, Klaus

AU - Moss, Sean K.

AU - Heunen, Chris

AU - Ghahramani, Zoubin

PY - 2018

Y1 - 2018

U2 - 10.1145/3158148

DO - 10.1145/3158148

M3 - Article

SN - 2475-1421

VL - 2

SP - 60:1-60:29

JO - Proceedings of the ACM on Programming Languages

JF - Proceedings of the ACM on Programming Languages

ER -