APA (7th ed.) Citation

YANG, Y., & OLIVEIRA, B. C. D. S. (2019). Pure iso-type systems. Journal of Functional Programming, 29, 1. https://doi.org/10.1017/S0956796819000108

Chicago Style (17th ed.) Citation

YANG, YANPENG, and BRUNO C. D. S. OLIVEIRA. "Pure Iso-type Systems." Journal of Functional Programming 29 (2019): 1. https://doi.org/10.1017/S0956796819000108.

MLA (9th ed.) Citation

YANG, YANPENG, and BRUNO C. D. S. OLIVEIRA. "Pure Iso-type Systems." Journal of Functional Programming, vol. 29, 2019, p. 1, https://doi.org/10.1017/S0956796819000108.