APA (7th ed.) Citation

DANVY, O., RHIGER, M., & ROSE, K. H. (2001). Normalization by evaluation with typed abstract syntax. Journal of Functional Programming, 11(6), 673. https://doi.org/10.1017/S0956796801004166

Chicago Style (17th ed.) Citation

DANVY, OLIVIER, MORTEN RHIGER, and KRISTOFFER H. ROSE. "Normalization by Evaluation with Typed Abstract Syntax." Journal of Functional Programming 11, no. 6 (2001): 673. https://doi.org/10.1017/S0956796801004166.

MLA (9th ed.) Citation

DANVY, OLIVIER, et al. "Normalization by Evaluation with Typed Abstract Syntax." Journal of Functional Programming, vol. 11, no. 6, 2001, p. 673, https://doi.org/10.1017/S0956796801004166.