APA (7th ed.) Citation

BOTTA, N., BREDE, N., JANSSON, P., & RICHTER, T. (2021). Extensional equality preservation and verified generic programming. Journal of Functional Programming, 31(1/2), 1. https://doi.org/10.1017/S0956796821000204

Chicago Style (17th ed.) Citation

BOTTA, NICOLA, NURIA BREDE, PATRIK JANSSON, and TIM RICHTER. "Extensional Equality Preservation and Verified Generic Programming." Journal of Functional Programming 31, no. 1/2 (2021): 1. https://doi.org/10.1017/S0956796821000204.

MLA (9th ed.) Citation

BOTTA, NICOLA, et al. "Extensional Equality Preservation and Verified Generic Programming." Journal of Functional Programming, vol. 31, no. 1/2, 2021, p. 1, https://doi.org/10.1017/S0956796821000204.