Type system composition
Master Project of Aron Zwaan


Project description

Modern-day software systems are usually written in several different languages. However, type systems normally only verify the consistency of source files in a particular language, while interactions between different languages remain unvalidated. This project bridges this gap by integrating type systems of different languages. This approach leverages static consistency checking to be integrated over a complete project, including interactions between source files of different languages.

To realize this objective, several questions need to be answered:

  1. In what ways do languages interact?
  2. How can type systems (defined in Statix) be composed to validate these interactions?
  3. How can the type system composition mechanism be integrated in the Spoofax Language Workbench?

Type system composition

Student: Aron Zwaan
Supervisor(s): Eelco Visser