Talk on Semantics for Mixed-Sign Expectations accepted at POPL PPS Workshop

November 18, 2016

The talk on “A Weakest Pre-Expectation Semantics for Mixed-Sign Expectations” has been accepted for presentation at the Probabilistic Programming Semantics (PPS) workshop at POPL’17.