noDice: Inference for Discrete Probabilistic Programs with Nondeterminism and Conditioning

Bibliographic Details
Title:	noDice: Inference for Discrete Probabilistic Programs with Nondeterminism and Conditioning
Authors:	Gürtler, Tobias, Kaminski, Benjamin Lucien
Source:	Proceedings of the ACM on Programming Languages. 10(OOPSLA1):427-455
Availability:	http://dl.acm.org/doi/10.1145/3798215
Database:	ACM Full-Text Collection

Description
ISSN:	24751421
DOI:	10.1145/3798215