cff-version: 1.2.0
abstract: "<p>The objective of this research was to determine whether a stratified type-checking approach using scope graphs could type-check the proof-of-concept language LM. Scope graphs provide a way to type-check real-world programming languages and their constructs. Previous implementations that type-check LM, a language with relative, unordered, and glob imports, do not halt. This dataset contains Haskell code for constructing and type-checking a scope graph of an LM program. It is based on the <a href="https://github.com/MetaBorgCube/scope-graph-scheduling-bsc-template/tree/cfa6ab83d50797e861587d0af626fc10765741da" target="_blank">Phased Haskell library</a>. With this implementation, the all test cases halt and the majority exhibit the correct behaviour with only one false-negative.</p><p><br></p><p>This implementation uses a five-step approach:</p><ol><li>Constructing a module hierarchy.</li><li>Constructing a scope graph consisting of scopes and module sinks.</li><li>Iteratively resolving imports and placing import edges in the scope graph.</li><li>Adding all declarations of all modules to the scope graph.</li><li>Type-checking the bodies of all declarations with respect to the scope graph.</li></ol><p><br></p><p>Many test cases bundled with this data set are based on those for LMR (which is very similar to LM) and can be found <a href="https://github.com/MetaBorgCube/metaborg-lmr/tree/d1cb439be8eba9468d95cfc0aa091558147a227d/lang.lmr.mstx/tests" target="_blank">here</a>. On top of that. more test cases were derived and included. All test cases are denoted as annotated terms.</p><p><br></p><p>This data set is linked to a Bachelor's thesis completed at the EEMCS faculty at the TU Delft. A link will be added after publication.</p>"
authors:
  - family-names: Hübner
    given-names: Paul
  - family-names: Bach Poulsen
    given-names: Casper
  - family-names: Zwaan
    given-names: Aron
title: "Codebase Underlying the BSc Thesis: Type-Checking Modules and Imports using Scope Graphs"
keywords:
version: 1
identifiers:
  - type: doi
    value: 10.4121/288296b9-fcdf-4960-bab4-8aee3a46927c.v1
license: MIT
date-released: 2023-06-21