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
Citace podle Chicago (17th ed.)Montagu, Benoît, a 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.
Citace podle MLA (9th ed.)Montagu, Benoît, a 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.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..