Stochastic lambda calculus and monads of probability distributions (2002)

by Norman Ramsey, Avi Pfeffer
Venue:In Proceedings of the ACM SIGPLAN Conference on Principles of Programming Languages (POPL