Modular Specifications and Implementations of Random Samplers in Higher-Order Separation Logic.

Virgil Marionneau, Flix Sassus Bourda, Alejandro Aguirre, Lars Birkedal

Browse the full CPP paper archive.