An Implementation of a Type System for the Safe Instantiation of Components

This is the source code for the tools developed for my Master's thesis. To build, GNU Make and OCaml is required.