Denotational validation of higher-order Bayesian inference

Autor(en):

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):

Erschienen in:

Proceedings of the ACM on Programming Languages (2018), Bd. 2, H. POPLArticle No. 60

Verlagsangabe:

New York, NY : ACM

Sprache:

Englisch

Referenz zum Volltext:

DDC-Klassifikation:

004 - Informatik

Dokumentart:

Wissenschaftlicher Artikel
Konferenzveröffentlichung

Das Dokument erscheint in: