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

Type Theory Forall

コンテンツは Pedro Abreu によって提供されます。エピソード、グラフィック、ポッドキャストの説明を含むすべてのポッドキャストコンテンツは、Pedro Abreu またはそのポッドキャストプラットフォームパートナーによって直接アップロードされ、提供されます。誰かがあなたの著作権で保護された作品をあなたの許可なく使用していると思われる場合は、ここで概説されているプロセスに従うことができますhttps://ja.player.fm/legal。

3y ago 39:13

MP3•エピソードのホーム

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!

39 つのエピソード

#Science #Tech #Pedro Abreu #Type Theory #Academia #Programming Language