Semantics for probabilistic programming: higher−order functions‚ continuous distributions‚ and soft constraints
Sam Staton‚ Hongseok Yang‚ Frank D. Wood‚ Chris Heunen and Ohad Kammar
Book Title
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science‚ LICS '16‚ New York‚ NY‚ USA‚ July 5−8‚ 2016
Editor
Martin Grohe and Eric Koskinen and Natarajan Shankar
Pages
525–534
Publisher
ACM
Year
2016