A Compilation Target for Probabilistic Programming Languages
IBAL: A Probabilistic Rational Programming Language