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.

Abstract

Abstract is missing.