Type-Directed Discretization of Probabilistic Programs

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τίτλος:	Type-Directed Discretization of Probabilistic Programs
Συγγραφείς:	Wu, Katherine, Jacobs, Jules, Batz, Kevin, Silva, Alexandra
Πηγή:	Proceedings of the ACM on Programming Languages. 10(OOPSLA2):2435-2462
Διαθεσιμότητα:	http://dl.acm.org/doi/10.1145/3839534
Βάση Δεδομένων:	ACM Full-Text Collection

Περιγραφή
ISSN:	24751421
DOI:	10.1145/3839534