APA (7th ed.) Citation

KARACHALIAS, G., PRETNAR, M., SALEH, A. H., VANDERHALLEN, S., & SCHRIJVERS, T. (2020). Explicit effect subtyping. Journal of Functional Programming, 30, 1. https://doi.org/10.1017/S0956796820000131

Chicago Style (17th ed.) Citation

KARACHALIAS, GEORGIOS, MATIJA PRETNAR, AMR HANY SALEH, STIEN VANDERHALLEN, and TOM SCHRIJVERS. "Explicit Effect Subtyping." Journal of Functional Programming 30 (2020): 1. https://doi.org/10.1017/S0956796820000131.

MLA (9th ed.) Citation

KARACHALIAS, GEORGIOS, et al. "Explicit Effect Subtyping." Journal of Functional Programming, vol. 30, 2020, p. 1, https://doi.org/10.1017/S0956796820000131.