APA (7th ed.) Citation

SEIDEL, E. L., JHALA, R., & WEIMER, W. (2018). Dynamic witnesses for static type errors (or, Ill-Typed Programs Usually Go Wrong). Journal of Functional Programming, 28, N.PAG. https://doi.org/10.1017/S0956796818000126

Chicago Style (17th ed.) Citation

SEIDEL, ERIC L., RANJIT JHALA, and WESTLEY WEIMER. "Dynamic Witnesses for Static Type Errors (or, Ill-Typed Programs Usually Go Wrong)." Journal of Functional Programming 28 (2018): N.PAG. https://doi.org/10.1017/S0956796818000126.

MLA (9th ed.) Citation

SEIDEL, ERIC L., et al. "Dynamic Witnesses for Static Type Errors (or, Ill-Typed Programs Usually Go Wrong)." Journal of Functional Programming, vol. 28, 2018, p. N.PAG, https://doi.org/10.1017/S0956796818000126.