APA (7th ed.) Citation

BIERNACKI, D., MCKINNA, J., & SIECZKOWSKI, F. (2025). Call-by-value and call-by-name: A simple proof of a classic theorem. Journal of Functional Programming, 35, 1. https://doi.org/10.1017/S0956796825100038

Chicago Style (17th ed.) Citation

BIERNACKI, DARIUSZ, JAMES MCKINNA, and FILIP SIECZKOWSKI. "Call-by-value and Call-by-name: A Simple Proof of a Classic Theorem." Journal of Functional Programming 35 (2025): 1. https://doi.org/10.1017/S0956796825100038.

MLA (9th ed.) Citation

BIERNACKI, DARIUSZ, et al. "Call-by-value and Call-by-name: A Simple Proof of a Classic Theorem." Journal of Functional Programming, vol. 35, 2025, p. 1, https://doi.org/10.1017/S0956796825100038.