APA   Click to copy
Jansson, P., & Jeuring, J. (1998). Polytypic Unification. J. Funct. Program., 8, 527–536. https://doi.org/10.1017/S095679689800313X

Chicago/Turabian   Click to copy
Jansson, Patrik, and Johan Jeuring. “Polytypic Unification.” J. Funct. Program. 8 (1998): 527–536.

MLA   Click to copy
Jansson, Patrik, and Johan Jeuring. “Polytypic Unification.” J. Funct. Program., vol. 8, Cambridge University Press, 1998, pp. 527–36, doi:10.1017/S095679689800313X.

@article{jansson1998a,
  title = {Polytypic Unification},
  year = {1998},
  journal = {J. Funct. Program.},
  pages = {527--536},
  publisher = {Cambridge University Press},
  volume = {8},
  doi = {10.1017/S095679689800313X},
  author = {Jansson, Patrik and Jeuring, Johan}
}