Oleg Kiselyov Chung-chieh Shan Embedded Probabilistic Programming. 360-384 2009 DSL http://dx.doi.org/10.1007/978-3-642-03034-5_17 conf/dsl/2009 db/conf/dsl/dsl2009.html#KiselyovS09