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

Rouvoet, Arjen and van Antwerpen, Hendrik and Poulsen, Casper Bach and Krebbers, Robbert and Visser, Eelco

Links to PDF researchr

Cite As

Rouvoet, Arjen, Hendrik van Antwerpen, Casper Bach Poulsen, Robbert Krebbers, and Eelco Visser. 2020. “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).

BibTeX Entry

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