EPISODE · Mar 29, 2021 · 39 MIN
#6 All The Dumb Questions on Gradual Types - Zeina Migeed
from Type Theory Forall · host Pedro Abreu
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!
Embed this episode
NOW PLAYING
#6 All The Dumb Questions on Gradual Types - Zeina Migeed
No transcript for this episode yet
Similar Episodes
No similar episodes found.
Similar Podcasts
No similar podcasts found.