APA (7th ed.) Citation

Rouvoet, A., van Antwerpen, H., Bach Poulsen, C., Krebbers, R., & Visser, E. (2020). Knowing when to ask: Sound scheduling of name resolution in type checkers derived from declarative specifications. Proceedings of ACM on programming languages, 4(OOPSLA), 1-28. https://doi.org/10.1145/3428248

Chicago Style (17th ed.) Citation

Rouvoet, Arjen, Hendrik van Antwerpen, Casper Bach Poulsen, Robbert Krebbers, and Eelco Visser. "Knowing When to Ask: Sound Scheduling of Name Resolution in Type Checkers Derived from Declarative Specifications." Proceedings of ACM on Programming Languages 4, no. OOPSLA (2020): 1-28. https://doi.org/10.1145/3428248.

MLA (9th ed.) Citation

Rouvoet, Arjen, et al. "Knowing When to Ask: Sound Scheduling of Name Resolution in Type Checkers Derived from Declarative Specifications." Proceedings of ACM on Programming Languages, vol. 4, no. OOPSLA, 2020, pp. 1-28, https://doi.org/10.1145/3428248.