%0 Conference Paper %1 conf/fsttcs/HurNRS15 %A Hur, Chung-Kil %A Nori, Aditya V. %A Rajamani, Sriram K. %A Samuel, Selva %B FSTTCS %D 2015 %E Harsha, Prahladh %E Ramalingam, G. %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K %P 475-488 %T A Provably Correct Sampler for Probabilistic Programs. %U http://dblp.uni-trier.de/db/conf/fsttcs/fsttcs2015.html#HurNRS15 %V 45 %@ 978-3-939897-97-2

@inproceedings{conf/fsttcs/HurNRS15, added-at = {2023-12-12T17:50:29.000+0100}, author = {Hur, Chung-Kil and Nori, Aditya V. and Rajamani, Sriram K. and Samuel, Selva}, biburl = {https://www.bibsonomy.org/bibtex/234d5a10e290578f8768f360319c5790e/admin}, booktitle = {FSTTCS}, crossref = {conf/fsttcs/2015}, editor = {Harsha, Prahladh and Ramalingam, G.}, ee = {https://doi.org/10.4230/LIPIcs.FSTTCS.2015.475}, interhash = {098ea64c47a34443d81aa98d4f767db7}, intrahash = {34d5a10e290578f8768f360319c5790e}, isbn = {978-3-939897-97-2}, keywords = {}, pages = {475-488}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2023-12-12T17:50:29.000+0100}, title = {A Provably Correct Sampler for Probabilistic Programs.}, url = {http://dblp.uni-trier.de/db/conf/fsttcs/fsttcs2015.html#HurNRS15}, volume = 45, year = 2015 }