Conditioning in Probabilistic Programming

New York, NY / Association for Computing Machinery (2018) [Journal Article]

ACM transactions on programming languages and systems
Volume: 40
Issue: 1
Page(s): 1 - 50

Authors

Selected Authors

Olmedo, Federico
Gretz, Friedrich
Jansen, Nils
Kaminski, Benjamin Lucien
Katoen, Joost-Pieter

Other Authors

Mciver, Annabelle

Identifier