Verifying Exact Samplers for Continuous Distributions with a Discrete Program Logic.

Markus de Medeiros, Puming Liu, Kwing Hei Li, Alejandro Aguirre, Lars Birkedal, Joseph Tassarotti

Browse the full LICS paper archive.