Knowing When to Ask. Sound scheduling of name resolution in type checkers derived from declarative specifications

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.

@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},
  researchr = {https://researchr.org/publication/RouvoetAPKV20},
  cites = {0},
  citedby = {0},
  journal = {Proceedings of the ACM on Programming Languages},
  volume = {4},
  number = {OOPSLA},
}