APA (7th ed.) Citation

KIAM TAN, Y., MYREEN, M. O., KUMAR, R., FOX, A., OWENS, S., & NORRISH, M. (2019). The verified CakeML compiler backend. Journal of Functional Programming, 29, 1. https://doi.org/10.1017/S0956796818000229

Chicago Style (17th ed.) Citation

KIAM TAN, YONG, MAGNUS O. MYREEN, RAMANA KUMAR, ANTHONY FOX, SCOTT OWENS, and MICHAEL NORRISH. "The Verified CakeML Compiler Backend." Journal of Functional Programming 29 (2019): 1. https://doi.org/10.1017/S0956796818000229.

MLA (9th ed.) Citation

KIAM TAN, YONG, et al. "The Verified CakeML Compiler Backend." Journal of Functional Programming, vol. 29, 2019, p. 1, https://doi.org/10.1017/S0956796818000229.