Type Theory Forall

#6 All The Dumb Questions on Gradual Types - Zeina Migeed

Type Theory Forall

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!

Next Episodes

Type Theory Forall

#5 The History of Coq'Art - Yves Bertot @ Type Theory Forall

πŸ“† 2021-02-27 13:50 / βŒ› 01:11:46


Type Theory Forall

#5 The History of Coq'Art - Yves Bertot @ Type Theory Forall

πŸ“† 2021-02-27 13:50 / βŒ› 01:11:46


Type Theory Forall

#5 The History of Coq'Art - Yves Bertot @ Type Theory Forall

πŸ“† 2021-02-27 05:00 / βŒ› 01:11:45