Conference
Modular Specifications and Implementations of Random Samplers in Higher-Order Separation Logic
| Τίτλος: | Modular Specifications and Implementations of Random Samplers in Higher-Order Separation Logic |
|---|---|
| Συγγραφείς: | Marionneau, Virgil, Sassus Bourda, Félix, Aguirre, Alejandro, Birkedal, Lars |
| Πηγή: | Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs. :368-382 |
| Διαθεσιμότητα: | http://dl.acm.org/doi/10.1145/3779031.3779109 |
| Βάση Δεδομένων: | ACM Full-Text Collection |
καταχωρήστε σχόλιο πρώτοι!