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. [doi]

Predecessors

The following are older variants of this publication:

Similar Publications

The following publications are related publications by (some of) the same authors, but are not direct variants of this publication.

Duplicates

The following are duplicate records for the exact same publication: