@misc{indiciae9898ab6795fe,
  title = {Deriving Probability Density Functions from Probabilistic Functional Programs},
  author = {Sooraj Bhat and Johannes Borgström and Andrew D. Gordon and Claudio Russo},
  year = {2017},
  doi = {10.23638/lmcs-13(2:16)2017},
  url = {https://arxiv.org/abs/1704.00917},
  note = {Source identifier: 1704.00917}
}