TY  - RPRT
TI  - SPPL: Probabilistic Programming with Fast Exact Symbolic Inference
AU  - Feras A. Saad
AU  - Martin C. Rinard
AU  - Vikash K. Mansinghka
PY  - 2021
DO  - 10.1145/3453483.3454078
UR  - https://arxiv.org/abs/2010.03485
ID  - 2010.03485
ER  -