Simplifying Probabilistic Programs Using Computer Algebra

Jacques Carette, Chung-chieh Shan. Simplifying Probabilistic Programs Using Computer Algebra. In Marco Gavanelli, John H. Reppy, editors, Practical Aspects of Declarative Languages - 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings. Volume 9585 of Lecture Notes in Computer Science, pages 135-152, Springer, 2016. [doi]

Authors

Jacques Carette

This author has not been identified. Look up 'Jacques Carette' in Google

Chung-chieh Shan

This author has not been identified. It may be one of the following persons: Look up 'Chung-chieh Shan' in Google