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]

Authors

Sooraj Bhat

This author has not been identified. Look up 'Sooraj Bhat' in Google

Johannes Borgström

This author has not been identified. Look up 'Johannes Borgström' in Google

Andrew D. Gordon

This author has not been identified. It may be one of the following persons: Look up 'Andrew D. Gordon' in Google

Claudio V. Russo

This author has not been identified. Look up 'Claudio V. Russo' in Google