Deriving Probability Density Functions from Probabilistic Functional Programs

Sooraj Bhat, Johannes Borgström, Andrew D. Gordon, Claudio V. Russo. Deriving Probability Density Functions from Probabilistic Functional Programs. Logical Methods in Computer Science, 13(2), 2017. [doi]

Abstract

Abstract is missing.