Coupling proofs are probabilistic product programs.

Gilles Barthe, Benjamin Grgoire, Justin Hsu, Pierre-Yves Strub

Browse the full POPL paper archive.