SPPL: probabilistic programming with fast exact symbolic inference.

Feras A. Saad, Martin C. Rinard, Vikash K. Mansinghka

Browse the full PLDI paper archive.