Scope States: Guarding Safety of Name Resolution in Parallel Type Checkers

Hendrik van Antwerpen, Eelco Visser. Scope States: Guarding Safety of Name Resolution in Parallel Type Checkers. In ECOOP. 2021.

@inproceedings{AntwerpenV21-preprint,
  title = {Scope States: Guarding Safety of Name Resolution in Parallel Type Checkers},
  author = {Hendrik van Antwerpen and Eelco Visser},
  year = {2021},
  note = {To appear},
  researchr = {https://researchr.org/publication/AntwerpenV21-preprint},
  cites = {0},
  citedby = {0},
  booktitle = {ECOOP},
}