A lambda-calculus foundation for universal probabilistic programming
Venture: a higher-order probabilistic programming platform with programmable inference