Simplifying Probabilistic Programs Using Computer Algebra.

Jacques Carette, Chung-chieh Shan

Browse the full PADL paper archive.