This project is all about the topic Polymorphic Type Inference.
Bachelor Project in Polymorphic Type Inference