APA (7th ed.) Citation

Allais, G., Atkey, R., Chapman, J., McBride, C., & McKinna, J. (2018). A type and scope safe universe of syntaxes with binding: Their semantics and proofs. Proceedings of ACM on programming languages, 2(ICFP), 1-30. https://doi.org/10.1145/3236785

Chicago Style (17th ed.) Citation

Allais, Guillaume, Robert Atkey, James Chapman, Conor McBride, and James McKinna. "A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs." Proceedings of ACM on Programming Languages 2, no. ICFP (2018): 1-30. https://doi.org/10.1145/3236785.

MLA (9th ed.) Citation

Allais, Guillaume, et al. "A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs." Proceedings of ACM on Programming Languages, vol. 2, no. ICFP, 2018, pp. 1-30, https://doi.org/10.1145/3236785.