Types are Good, Actually

Kiran Shila, Electrical Engineering / Caltech

Host: Rui