Contributors of Type-Based-Analisys