APA (7th ed.) Citation

ZHOU, L., ZHOU, Y., WAN, Q., & OLIVEIRA, B. C. D. S. (2025). Recursive subtyping for all. Journal of Functional Programming, 35, 1. https://doi.org/10.1017/S0956796825000036

Chicago Style (17th ed.) Citation

ZHOU, LITAO, YAODA ZHOU, QIANYONG WAN, and BRUNO C. D. S. OLIVEIRA. "Recursive Subtyping for All." Journal of Functional Programming 35 (2025): 1. https://doi.org/10.1017/S0956796825000036.

MLA (9th ed.) Citation

ZHOU, LITAO, et al. "Recursive Subtyping for All." Journal of Functional Programming, vol. 35, 2025, p. 1, https://doi.org/10.1017/S0956796825000036.