Your search
PROGRAMMING LANGUAGES
Resource type
Results
13 resources-
Baudart, G., Mandel, L., Atkinson, E., Sherman, B., Pouzet, M., & Carbin, M. (2019). Reactive Probabilistic Programming. ArXiv:1908.07563 [Cs]. Retrieved from http://arxiv.org/abs/1908.07563
-
Ehrhard, T. (2019). Differentials and distances in probabilistic coherence spaces. ArXiv:1902.04836 [Cs]. Retrieved from http://arxiv.org/abs/1902.04836
-
Ehrhard, T., & Danos, V. (2011). Probabilistic coherence spaces as a model of higher-order probabilistic computation. Information and Computation, 209(6), 966–991. https://doi.org/10/ctfch6
-
Ehrhard, T., Pagani, M., & Tasson, C. (2017). Measurable Cones and Stable, Measurable Functions. Proceedings of the ACM on Programming Languages, 2(POPL), 1–28. https://doi.org/10/ggdjf8
-
Ehrhard, T., & Tasson, C. (2018). Probabilistic call by push value. ArXiv:1607.04690 [Cs]. https://doi.org/10/ggdk8z
-
Heunen, C., Kammar, O., Staton, S., & Yang, H. (2017). A Convenient Category for Higher-Order Probability Theory. ArXiv:1701.02547 [Cs, Math]. Retrieved from http://arxiv.org/abs/1701.02547
-
Jones, C. (1989). Probabilistic Non-determinism, 198.
-
Keimel, K., & Plotkin, G. D. (2017). Mixed powerdomains for probability and nondeterminism. ArXiv:1612.01005 [Cs]. https://doi.org/10/ggdmrp
-
Keimel, K., & Plotkin, G. d. (2009). Predicate Transformers for Extended Probability and Non-determinism. Mathematical. Structures in Comp. Sci., 19(3), 501–539. https://doi.org/10/bkvgqc
-
Ścibior, A., Kammar, O., Vákár, M., Staton, S., Yang, H., Cai, Y., … Ghahramani, Z. (2017). Denotational validation of higher-order Bayesian inference. Proceedings of the ACM on Programming Languages, 2(POPL), 1–29. https://doi.org/10.1145/3158148
-
Staton, S., Yang, H., Heunen, C., Kammar, O., & Wood, F. (2016). Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints. Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS ’16, 525–534. https://doi.org/10/ggdf97
-
Tix, R., Keimel, K., & Plotkin, G. (2009). Semantic Domains for Combining Probability and Non-Determinism. Electronic Notes in Theoretical Computer Science, 222, 3–99. https://doi.org/10/d9hwq7
-
Vákár, M., Kammar, O., & Staton, S. (2018). A Domain Theory for Statistical Probabilistic Programming. ArXiv:1811.04196 [Cs]. Retrieved from http://arxiv.org/abs/1811.04196
Explore
CATEGORICAL LOGIC
- Linear logic (3)
DIFFERENTIAL CALCULUS
- Differentiation (1)
PROBABILITY & STATISTICS
PROGRAMMING LANGUAGES
Methodology
- Implementation (1)
Topic
- Bayesian inference (1)
- Bayesianism (1)
- Coherence spaces (2)
- Denotational semantics (8)
- Differential Linear Logic (1)
- Differentiation (1)
- Implementation (1)
- Linear logic (2)
- Powerdomains (3)
- Probabilistic programming (9)
- Programming language theory (10)
- Semantics (2)