APA (7th ed.) Citation

Accattoli, B., Condoluci, A., & Coen, C. S. (2021, June 29). Strong Call-by-Value is Reasonable, Implosively. Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 1-14. https://doi.org/10.1109/LICS52264.2021.9470630

Chicago Style (17th ed.) Citation

Accattoli, Beniamino, Andrea Condoluci, and Claudio Sacerdoti Coen. "Strong Call-by-Value Is Reasonable, Implosively." Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science 29 Jun. 2021: 1-14. https://doi.org/10.1109/LICS52264.2021.9470630.

MLA (9th ed.) Citation

Accattoli, Beniamino, et al. "Strong Call-by-Value Is Reasonable, Implosively." Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 29 Jun. 2021, pp. 1-14, https://doi.org/10.1109/LICS52264.2021.9470630.