SCT Student Projects - Andreas Fürer

The goal of this master project is to combine and enhance the runtime and static Universe type inference. Both were developed in previous master projects as stand-alone tools. The tools should also be integrated into the Eclipse IDE.