Arjen Rouvoet, Hendrik van Antwerpen, Casper Bach Poulsen, Robbert Krebbers, Eelco Visser. Knowing when to ask: sound scheduling of name resolution in type checkers derived from declarative specifications. Proceedings of the ACM on Programming Languages, 4(OOPSLA), 2020. [doi]
@article{RouvoetAPKV20,
title = {Knowing when to ask: sound scheduling of name resolution in type checkers derived from declarative specifications},
author = {Arjen Rouvoet and Hendrik van Antwerpen and Casper Bach Poulsen and Robbert Krebbers and Eelco Visser},
year = {2020},
doi = {10.1145/3428248},
url = {https://doi.org/10.1145/3428248},
researchr = {https://researchr.org/publication/RouvoetAPKV20},
cites = {0},
citedby = {0},
journal = {Proceedings of the ACM on Programming Languages},
volume = {4},
number = {OOPSLA},
}