TY - RPRT TI - Exact Recursive Probabilistic Programming AU - David Chiang AU - Colin McDonald AU - Chung-chieh Shan PY - 2023 DO - 10.1145/3586050 UR - https://arxiv.org/abs/2210.01206 ID - 2210.01206 ER -