@article{derivingprobabilitydensityfunctionsfrom,
  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},
  eprint = {1704.00917},
  archivePrefix = {arXiv},
  url = {http://arxiv.org/abs/1704.00917v2},
}