Denotational validation of higher-order Bayesian inference

dc.contributor.author	Cai, Yufei
dc.contributor.author	Ostermann, Klaus
dc.date.accessioned	2018-09-17T14:46:17Z
dc.date.available	2018-09-17T14:46:17Z
dc.date.issued	2018
dc.identifier.uri	http://hdl.handle.net/10900/84213
dc.language.iso	en	de_DE
dc.publisher	New York, NY : ACM	de_DE
dc.relation.uri	http://dx.doi.org/10.1145/3158148	de_DE
dc.rights	info:eu-repo/semantics/closedAccess
dc.subject.ddc	004	de_DE
dc.title	Denotational validation of higher-order Bayesian inference	de_DE
dc.type	Article	de_DE
dc.type	ConferenceObject	de_DE
utue.publikation.seiten	Article No. 60	de_DE
utue.personen.roh	Kammar, O.
utue.personen.roh	Staton, S.
utue.personen.roh	Yang, H.
utue.personen.roh	Cai, Y.
utue.personen.roh	Ostermann, K.
utue.personen.roh	Vákár, M.
utue.personen.roh	Ścibior, A.
utue.personen.roh	Moss, S.K.
utue.personen.roh	Heunen, C.
utue.personen.roh	Ghahramani, Z.
dcterms.isPartOf.ZSTitelID	Proceedings of the ACM on Programming Languages	de_DE
dcterms.isPartOf.ZS-Issue	POPL	de_DE
dcterms.isPartOf.ZS-Volume	2	de_DE