A lambda-calculus foundation for universal probabilistic programming-Reference-Cited by-同舟云学术

A lambda-calculus foundation for universal probabilistic programming

Published:2016-09-04 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming
language:
Short-container-title:

Author:

Borgström Johannes¹,Dal Lago Ugo²,Gordon Andrew D.³,Szymczak Marcin⁴

Affiliation:

1. Uppsala University, Sweden

2. University of Bologna, Italy / Inria, France

3. Microsoft Research, UK / University of Edinburgh, UK

4. University of Edinburgh, UK

Funder

Agence Nationale de la Recherche

Vetenskapsrådet

Microsoft Research

Publisher

ACM

Link

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

Reference37 articles.

1. S. Bhat J. Borgström A. D. Gordon and C. V. Russo . Deriving probability density functions from probabilistic functional programs. In N. Piterman and S. A. Smolka editors Proceedings of TACAS 2013 volume 7795 of LNCS pages 508– 522 . Springer 2013. 10.1007/978-3-642-36742-7_35 S. Bhat J. Borgström A. D. Gordon and C. V. Russo. Deriving probability density functions from probabilistic functional programs. In N. Piterman and S. A. Smolka editors Proceedings of TACAS 2013 volume 7795 of LNCS pages 508–522. Springer 2013. 10.1007/978-3-642-36742-7_35

2. P. Billingsley. Probability and Measure. Wiley-Interscience third edition 1995. P. Billingsley. Probability and Measure. Wiley-Interscience third edition 1995.

3. A. Bizjak and L. Birkedal . Step-indexed logical relations for probability. In A. M. Pitts editor Proceedings of FoSSaCS 2015 volume 9034 of LNCS pages 279– 294 . Springer 2015. A. Bizjak and L. Birkedal. Step-indexed logical relations for probability. In A. M. Pitts editor Proceedings of FoSSaCS 2015 volume 9034 of LNCS pages 279–294. Springer 2015.

4. J. Borgström U. Dal Lago A. D. Gordon and M. Szymczak. A lambdacalculus foundation for universal probabilistic programming (long version). CoRR abs/1512.08990 2015. J. Borgström U. Dal Lago A. D. Gordon and M. Szymczak. A lambdacalculus foundation for universal probabilistic programming (long version). CoRR abs/1512.08990 2015.

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

1. Compiling Probabilistic Programs for Variable Elimination with Information Flow;Proceedings of the ACM on Programming Languages;2024-06-20

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

3. Suspension Analysis and Selective Continuation-Passing Style for Universal Probabilistic Programming Languages;Lecture Notes in Computer Science;2024

4. A Possible Worlds Semantics for Trustworthy Non-Deterministic Computations;2024

5. Semantics of Probabilistic Programs using s-Finite Kernels in Coq;Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs;2023-01-11