Denotational Validation of Higher-order Bayesian Inference

Scibior, A.; Kammar, O.; Vákár, M.; Staton, S.; Yang, H.; Cai, Y.; Ostermann, K.; Moss, S. K.; Heunen, C.; Ghahramani, Z.

doi:10.1145/3158148

Item

ITEM ACTIONSEXPORT

Add to Basket

Local TagsRelease HistoryDetailsSummary

Released

Journal Article

Denotational Validation of Higher-order Bayesian Inference

MPS-Authors

/persons/resource/persons204132

Scibior, A.
Dept. Empirical Inference, Max Planck Institute for Intelligent Systems, Max Planck Society;

External Resource

No external resources are shared

Fulltext (restricted access)

There are currently no full texts shared for your IP range.

Fulltext (public)

There are no public fulltexts stored in PuRe

Supplementary Material (public)

There is no public supplementary material available

Citation

Scibior, A., Kammar, O., Vákár, M., Staton, S., Yang, H., Cai, Y., et al. (2017). Denotational Validation of Higher-order Bayesian Inference. Proceedings of the ACM on Programming Languages, 2(POPL): 60. doi:10.1145/3158148.

Cite as: https://hdl.handle.net/21.11116/0000-0003-9128-C

Abstract

There is no abstract available