Marionneau, V., Sassus Bourda, F., Aguirre, A., & Birkedal, L. (2026). Modular Specifications and Implementations of Random Samplers in Higher-Order Separation Logic. Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs, 368. https://doi.org/10.1145/3779031.3779109
Παραπομπή σε μορφή Chicago (17η εκδ.)Marionneau, Virgil, Félix Sassus Bourda, Alejandro Aguirre, και Lars Birkedal. "Modular Specifications and Implementations of Random Samplers in Higher-Order Separation Logic." Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs 2026: 368. https://doi.org/10.1145/3779031.3779109.
Παραπομπή σε μορφή MLA (9th εκδ.)Marionneau, Virgil, et al. "Modular Specifications and Implementations of Random Samplers in Higher-Order Separation Logic." Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2026, p. 368, https://doi.org/10.1145/3779031.3779109.