Exact Bayesian inference by symbolic disintegration.

Chung-chieh Shan, Norman Ramsey

Browse the full POPL paper archive.