Academic Journal
Type-Directed Discretization of Probabilistic Programs
| Title: | Type-Directed Discretization of Probabilistic Programs |
|---|---|
| Authors: | Wu, Katherine, Jacobs, Jules, Batz, Kevin, Silva, Alexandra |
| Source: | Proceedings of the ACM on Programming Languages. 10(OOPSLA2):2435-2462 |
| Availability: | http://dl.acm.org/doi/10.1145/3839534 |
| Database: | ACM Full-Text Collection |
| ISSN: | 24751421 |
|---|---|
| DOI: | 10.1145/3839534 |