Deriving Probability Density Functions from Probabilistic Functional Programs.

Sooraj Bhat, Johannes Borgstrm, Andrew D. Gordon, Claudio V. Russo

Browse the full TACAS paper archive.