APA (7th ed.) Citation

Jacobs, J., Hinrichsen, J. K., & Krebbers, R. (2024). Deadlock-Free Separation Logic: Linearity Yields Progress for Dependent Higher-Order Message Passing. Proceedings of ACM on programming languages, 8(POPL), 1385-1417. https://doi.org/10.1145/3632889

Chicago Style (17th ed.) Citation

Jacobs, Jules, Jonas Kastberg Hinrichsen, and Robbert Krebbers. "Deadlock-Free Separation Logic: Linearity Yields Progress for Dependent Higher-Order Message Passing." Proceedings of ACM on Programming Languages 8, no. POPL (2024): 1385-1417. https://doi.org/10.1145/3632889.

MLA (9th ed.) Citation

Jacobs, Jules, et al. "Deadlock-Free Separation Logic: Linearity Yields Progress for Dependent Higher-Order Message Passing." Proceedings of ACM on Programming Languages, vol. 8, no. POPL, 2024, pp. 1385-1417, https://doi.org/10.1145/3632889.