Sign up to save your podcasts
Or
Share #6 All The Dumb Questions on Gradual Types - Zeina Migeed
Share to email
Share to Facebook
Share to X
Share to email
Share to Facebook
Share to X
Or
#6 All The Dumb Questions on Gradual Types - Zeina Migeed
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!
View all episodes
By Pedro Abreu
5
1111 ratings
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!
More shows like Type Theory Forall
View all
Software Engineering Radio - the podcast for professional software developers
272 Listeners
The Changelog: Software Development, Open Source
284 Listeners
Software Engineering Daily
621 Listeners
Soft Skills Engineering
269 Listeners
Late Night Linux
154 Listeners
CoRecursive: Coding Stories
189 Listeners
The Numberphile Podcast
448 Listeners
Cautionary Tales with Tim Harford
5,125 Listeners
Iowa Type Theory Commute
17 Listeners
Last Week in AI
287 Listeners
2.5 Admins
92 Listeners
The Haskell Interlude
13 Listeners
The Joy of Why
502 Listeners
Oxide and Friends
47 Listeners
Latent Space: The AI Engineer Podcast
75 Listeners