Type Inference for GADTs and Anti-unification. - Adelaine Gelain; Cristiano D. Vasconcellos; Carlos Camarão 001; Rodrigo Geraldo Ribeiro (SBLP, 2015)