Type-Checking Modules and Imports using Scope Graphs: A Case Study on a Language with Relative, Unordered and Glob Import Semantics

Scope graphs provide a way to type-check real-world programming languages and their constructs. A previous implementation that type-checks the proof-of-concept language LM, a language with relative, unordered, and glob imports, does not halt. This thesis discusses a five-step approach for constructing and type-checking a scope graph of an LM...