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 (Extended Version). Zenodo, Oct 2020. [doi]
@inbook{RouvoetAPKV20-ext,
title = {Knowing When to Ask: Sound scheduling of name resolution in type checkers derived from declarative specifications (Extended Version)},
author = {Arjen Rouvoet and Hendrik van Antwerpen and Casper Bach Poulsen and Robbert Krebbers and Eelco Visser},
year = {2020},
month = {Oct},
doi = {10.5281/zenodo.4091445},
url = {http://doi.org/10.5281/zenodo.4091445},
researchr = {https://researchr.org/publication/RouvoetAPKV20-ext},
cites = {0},
citedby = {0},
publisher = {Zenodo},
}