APA   Click to copy
Botta, N., Brede, N., Jansson, P., & Richter, T. (2021). Extensional equality preservation and verified generic programming. J. Funct. Program., 31.

Chicago/Turabian   Click to copy
Botta, Nicola, Nuria Brede, Patrik Jansson, and Tim Richter. “Extensional Equality Preservation and Verified Generic Programming.” J. Funct. Program. 31 (2021).

MLA   Click to copy
Botta, Nicola, et al. “Extensional Equality Preservation and Verified Generic Programming.” J. Funct. Program., vol. 31, Cambridge University Press, 2021.

@article{botta2021a,
  title = {Extensional equality preservation and verified generic programming},
  year = {2021},
  journal = {J. Funct. Program.},
  publisher = {Cambridge University Press},
  volume = {31},
  author = {Botta, Nicola and Brede, Nuria and Jansson, Patrik and Richter, Tim}
}