APA (7th ed.) Citation

Montagu, B., & Jensen, T. (2020). Stable relations and abstract interpretation of higher-order programs. Proceedings of ACM on programming languages, 4(ICFP), 1-30. https://doi.org/10.1145/3409001

Chicago Style (17th ed.) Citation

Montagu, Benoît, and Thomas Jensen. "Stable Relations and Abstract Interpretation of Higher-order Programs." Proceedings of ACM on Programming Languages 4, no. ICFP (2020): 1-30. https://doi.org/10.1145/3409001.

MLA (9th ed.) Citation

Montagu, Benoît, and Thomas Jensen. "Stable Relations and Abstract Interpretation of Higher-order Programs." Proceedings of ACM on Programming Languages, vol. 4, no. ICFP, 2020, pp. 1-30, https://doi.org/10.1145/3409001.