Explorer Practical probabilistic programming with monads
IBAL: A Probabilistic Rational Programming Language