TY  - RPRT
TI  - Deriving Probability Density Functions from Probabilistic Functional Programs
AU  - Sooraj Bhat
AU  - Johannes Borgström
AU  - Andrew D. Gordon
AU  - Claudio Russo
PY  - 2017
DO  - 10.23638/lmcs-13(2:16)2017
UR  - https://arxiv.org/abs/1704.00917
ID  - 1704.00917
ER  -