Compositional Semantics for Probabilistic Programs with Exact Conditioning.

Dario Stein, Sam Staton

Browse the full LICS paper archive.