Semantics for probabilistic programming-Reference-Cited by-同舟云学术

Semantics for probabilistic programming

Published:2016-07-05 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science
language:
Short-container-title:

Author:

Staton Sam¹,Yang Hongseok¹,Wood Frank¹,Heunen Chris²,Kammar Ohad³

Affiliation:

1. University of Oxford

2. University of Edinburgh

3. University of Cambridge

Funder

European Research Council

Ministry of Science ICT and Future Planning

Defense Advanced Research Projects Agency

Royal Society

Engineering and Physical Sciences Research Council

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/2933575.2935313

Reference38 articles.

1. Noncomputable Conditional Distributions

2. N. L. Ackerman C. E. Freer and D. M. Roy. On computability and disintegration 2015. URL http://arxiv.org/abs/1509.02992. N. L. Ackerman C. E. Freer and D. M. Roy. On computability and disintegration 2015. URL http://arxiv.org/abs/1509.02992.

3. Borel structures for function spaces

4. Measure transformer semantics for Bayesian machine learning;Borgström J.;LMCS,2013

Cited by 74 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Nominal Approach to Probabilistic Separation Logic;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08

2. Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving;Proceedings of the ACM on Programming Languages;2024-06-20

3. Control-data separation and logical condition propagation for efficient inference on probabilistic programs;Journal of Logical and Algebraic Methods in Programming;2024-01

4. Guaranteed Inference for Probabilistic Programs: A Parallelisable, Small-Step Operational Approach;Lecture Notes in Computer Science;2023-12-30

5. A linear exponential comonad in s-finite transition kernels and probabilistic coherent spaces;Information and Computation;2023-12