Probabilistic Programming with Gaussian Process Memoization
Venture: a higher-order probabilistic programming platform with programmable inference