![Type Theory Forall artwork](https://is5-ssl.mzstatic.com/image/thumb/Podcasts124/v4/ed/de/43/edde43db-febe-b892-3a30-358ebe2e2c07/mza_16532267942080647912.png/100x100bb.jpg)
#6 All The Dumb Questions on Gradual Types - Zeina Migeed
Type Theory Forall
English - March 29, 2021 04:00 - 39 minutes - 27.8 MB - ★★★★★ - 6 ratingsTechnology Science type theory programming languages academia Homepage Download Apple Podcasts Google Podcasts Overcast Castro Pocket Casts RSS feed
Previous Episode: #5 The History of Coq'Art - Yves Bertot
Next Episode: #7 Hacking Isabelle's Internals - Daniel Matichuk
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!