Measure transformer semantics for Bayesian machine learning. (2011)

by J Borgstrom, A D Gordon, M Greenberg, J Margetson, J Van Gael
Venue:In European Symposium on Programming (ESOP),