TY  - RPRT
TI  - Deterministic stream-sampling for probabilistic programming: semantics and verification
AU  - Fredrik Dahlqvist
AU  - Alexandra Silva
AU  - William Smith
PY  - 2023
UR  - https://arxiv.org/abs/2304.13504
ID  - 2304.13504
ER  -