Conditioning in Probabilistic Programming

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

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

Authors

Selected Authors

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

Other Authors

Mciver, Annabelle

Identifier