GitHub repository: vrnithinkumar/mt
Description: Master thesis on developing a static type checker for Erlang