Deterministic stream-sampling for probabilistic programming: semantics and verification.

Fredrik Dahlqvist, Alexandra Silva, William Smith

Browse the full LICS paper archive.