Your search
Author or contributor
Results
3 resources-
Kammar, O., Staton, S., & Vákár, M. (2018). Diffeological Spaces and Denotational Semantics for Differential Programming.
-
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
-
Ś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
Explore
DIFFERENTIAL CALCULUS
- Differentiation (1)
PROBABILITY & STATISTICS
PROGRAMMING LANGUAGES
Topic
Resource type
- Journal Article (2)
- Presentation (1)