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
Citace podle Chicago (17th ed.)Rouvoet, Arjen, Hendrik van Antwerpen, Casper Bach Poulsen, Robbert Krebbers, a 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.
Citace podle MLA (9th ed.)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.