Conference
Modular Specifications and Implementations of Random Samplers in Higher-Order Separation Logic
| Title: | Modular Specifications and Implementations of Random Samplers in Higher-Order Separation Logic |
|---|---|
| Authors: | Marionneau, Virgil, Sassus Bourda, Félix, Aguirre, Alejandro, Birkedal, Lars |
| Source: | Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs. :368-382 |
| Availability: | http://dl.acm.org/doi/10.1145/3779031.3779109 |
| Database: | ACM Full-Text Collection |
| DOI: | 10.1145/3779031.3779109 |
|---|