Knowing When to Ask: Sound scheduling of name resolution in type checkers derived from declarative specifications (Extended Version)

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

Links to DOI 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 (Extended Version).” In . Zenodo. https://doi.org/10.5281/zenodo.4091445.

BibTeX Entry

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