APA (7th ed.) Citation

LEIJEN, D., & LORENZEN, A. F. (2025). Tail recursion modulo context: An equational approach (extended version). Journal of Functional Programming, 35, 1. https://doi.org/10.1017/S0956796825100117

Chicago Style (17th ed.) Citation

LEIJEN, DAAN, and ANTON FELIX LORENZEN. "Tail Recursion Modulo Context: An Equational Approach (extended Version)." Journal of Functional Programming 35 (2025): 1. https://doi.org/10.1017/S0956796825100117.

MLA (9th ed.) Citation

LEIJEN, DAAN, and ANTON FELIX LORENZEN. "Tail Recursion Modulo Context: An Equational Approach (extended Version)." Journal of Functional Programming, vol. 35, 2025, p. 1, https://doi.org/10.1017/S0956796825100117.