Denotational validation of higher-order Bayesian inference

DSpace Repository

Show simple item record

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


Files in this item

Files Size Format View

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record