APA (7th ed.) Citation

Chapman, J., Altenkirch, T., & McBride, C. (2007). Chapter 6: Epigram Reloaded: A Standalone Typechecker for ETT. Trends in Functional Programming Volume 6, 6, 79.

Chicago Style (17th ed.) Citation

Chapman, James, Thorsten Altenkirch, and Conor McBride. "Chapter 6: Epigram Reloaded: A Standalone Typechecker for ETT." Trends in Functional Programming Volume 6 6 (2007): 79.

MLA (9th ed.) Citation

Chapman, James, et al. "Chapter 6: Epigram Reloaded: A Standalone Typechecker for ETT." Trends in Functional Programming Volume 6, vol. 6, 2007, p. 79.