Denotational validation of higher-order Bayesian inference

DSpace Repository

Denotational validation of higher-order Bayesian inference

Author: Kammar, O.; Staton, S.; Yang, H.; Cai, Y.; Ostermann, K.; Vákár, M.; Ścibior, A.; Moss, S.K.; Heunen, C.; Ghahramani, Z.
Tübinger Autor(en):
Cai, Yufai
Ostermann, Klaus
Published in: Proceedings of the ACM on Programming Languages (2018), Bd. 2, H. POPLArticle No. 60
Verlagsangabe: New York, NY : ACM
Language: English
Full text: http://dx.doi.org/10.1145/3158148
DDC Classifikation: 004 - Data processing and computer science
Dokumentart: Artikel
Konferenzveröffentlichung
Show full item record

This item appears in the following Collection(s)