HackPPL: a universal probabilistic programming language-Reference-Cited by-同舟云学术

HackPPL: a universal probabilistic programming language

Published:2019-06-22 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 3rd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages
language:
Short-container-title:

Author:

Ai Jessica¹,Arora Nimar S.¹,Dong Ning¹,Gokkaya Beliz¹,Jiang Thomas¹,Kubendran Anitha¹,Kumar Arun¹,Tingley Michael¹,Torabi Narjes¹

Affiliation:

1. Facebook, USA

Publisher

ACM

Link

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

Reference37 articles.

1. Programming with algebraic effects and handlers

2. Michael Bolin. 2015. Building Nuclide a unified developer experience. https://code.fb.com/developer-tools/building-nuclide-a-unified-developer-experience/ Accessed: 2019-03-16. Michael Bolin. 2015. Building Nuclide a unified developer experience. https://code.fb.com/developer-tools/building-nuclide-a-unified-developer-experience/ Accessed: 2019-03-16.

3. Andrey Breslav and Roman Elizarov. 2018. Kotlin Coroutines. https://github.com/Kotlin/KEEP/blob/master/proposals/coroutines.md Andrey Breslav and Roman Elizarov. 2018. Kotlin Coroutines. https://github.com/Kotlin/KEEP/blob/master/proposals/coroutines.md

4. Tamara Broderick Michael I Jordan Jim Pitman etal 2012. Beta processes stick-breaking and power laws. Bayesian analysis 7 2 (2012) 439-476. Tamara Broderick Michael I Jordan Jim Pitman et al. 2012. Beta processes stick-breaking and power laws. Bayesian analysis 7 2 (2012) 439-476.

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

1. ULLER: A Unified Language for Learning and Reasoning;Lecture Notes in Computer Science;2024

2. Moment-based analysis of Bayesian network properties;Theoretical Computer Science;2022-02

3. Sound probabilistic inference via guide types;Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2021-06-18

4. Analysis of Bayesian Networks via Prob-Solvable Loops;Theoretical Aspects of Computing – ICTAC 2020;2020

5. Use of voltage limits for current limitation in grid-forming converters;CSEE Journal of Power and Energy Systems;2020