Compositional semantics for probabilistic programs with exact conditioning - Stein, D; Staton, S (Proceedings of the Annual ACM/IEEE Symposium on Logic in Computer Science, 2021)