APA (7th ed.) Citation

AFFELDT, R., GARRIGUE, J., & SAIKAWA, T. (2025). A practical formalization of monadic equational reasoning in dependent-type theory. Journal of Functional Programming, 35, 1. https://doi.org/10.1017/S0956796824000157

Chicago Style (17th ed.) Citation

AFFELDT, REYNALD, JACQUES GARRIGUE, and TAKAFUMI SAIKAWA. "A Practical Formalization of Monadic Equational Reasoning in Dependent-type Theory." Journal of Functional Programming 35 (2025): 1. https://doi.org/10.1017/S0956796824000157.

MLA (9th ed.) Citation

AFFELDT, REYNALD, et al. "A Practical Formalization of Monadic Equational Reasoning in Dependent-type Theory." Journal of Functional Programming, vol. 35, 2025, p. 1, https://doi.org/10.1017/S0956796824000157.