@misc{indiciae7e6f8bc78884,
  title = {Deterministic stream-sampling for probabilistic programming: semantics and verification},
  author = {Fredrik Dahlqvist and Alexandra Silva and William Smith},
  year = {2023},
  url = {https://arxiv.org/abs/2304.13504},
  note = {Source identifier: 2304.13504}
}