Type Systems People (First 4 people) - Page 0

Valeria de Paiva

Brazilian mathematician

Davide Sangiorgi

Computer science researcher

Sophia Drossopoulou

Computer scientist

Greg Morrisett

Computer science researcher