APA-viite (7. p.)
Allais, G., Atkey, R., Chapman, J., McBride, C., & MCKINNA, J. (2021). A type- and scope-safe universe of syntaxes with binding: Their semantics and proofs. Journal of Functional Programming. https://doi.org/10.1017/S0956796820000076
Chicago-viite (17. p.)
Allais, Guillaume, Robert Atkey, James Chapman, Conor McBride, ja JAMES MCKINNA. "A Type- and Scope-safe Universe of Syntaxes with Binding: Their Semantics and Proofs." Journal of Functional Programming 2021. https://doi.org/10.1017/S0956796820000076.
MLA-viite (9. p.)
Allais, Guillaume, et al. "A Type- and Scope-safe Universe of Syntaxes with Binding: Their Semantics and Proofs." Journal of Functional Programming, 2021, https://doi.org/10.1017/S0956796820000076.
Varoitus: Nämä viitteet eivät aina ole täysin luotettavia.