Modular Specifications and Implementations of Random Samplers in Higher-Order Separation Logic | Publicación