A Compilation Target for Probabilistic Programming Languages
Lightweight Implementations of Probabilistic Programming Languages Via Transformational Compilation