Gen: a general-purpose probabilistic programming system with programmable inference
Lightweight Implementations of Probabilistic Programming Languages Via Transformational Compilation