In this episode we interview Zeina Migeed, a PhD Student at University of
California Los Angeles, advised by Prof. Jens Palsberg
She Researches Gradual Types and had a paper published at POPL'20 named "What is
Decidable about Gradual Types". here is a link to it
As the name of the episode suggests, I'll be asking her all the dumb questions
related to not only gradual types, but also intersection types and recursive
types as well!
