Stochastic lambda calculus and monads of probability distributions (2002)

by N Ramsey, A Pfeffer
Venue:In Proceedings of POPL