%0 Conference Paper %1 conf/esop/HuangM16 %A Huang, Daniel %A Morrisett, Greg %B ESOP %D 2016 %E Thiemann, Peter %I Springer %K dblp %P 337-363 %T An Application of Computable Distributions to the Semantics of Probabilistic Programming Languages. %U http://dblp.uni-trier.de/db/conf/esop/esop2016.html#HuangM16 %V 9632 %@ 978-3-662-49497-4

@inproceedings{conf/esop/HuangM16, added-at = {2019-05-12T00:00:00.000+0200}, author = {Huang, Daniel and Morrisett, Greg}, biburl = {https://www.bibsonomy.org/bibtex/2dc32a038abd5010e3338f0b7372d59c5/dblp}, booktitle = {ESOP}, crossref = {conf/esop/2016}, editor = {Thiemann, Peter}, ee = {https://doi.org/10.1007/978-3-662-49498-1_14}, interhash = {6aad88f77e5e2465de1b33b8218f0d63}, intrahash = {dc32a038abd5010e3338f0b7372d59c5}, isbn = {978-3-662-49497-4}, keywords = {dblp}, pages = {337-363}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-03-24T11:39:54.000+0100}, title = {An Application of Computable Distributions to the Semantics of Probabilistic Programming Languages.}, url = {http://dblp.uni-trier.de/db/conf/esop/esop2016.html#HuangM16}, volume = 9632, year = 2016 }