Type Theory Forall

مشاركة
 

Manage series 2951423
بواسطة Pedro Abreu، اكتشفه Player FM ومجتمعنا ـ حقوق الطبع والنشر مملوكة للناشر وليس لـPlayer FM، والصوت يبث مباشرة من خوادمه. اضغط زر الاشتراك لمتابعة التحديثات في Player FM، أو ألصق رابط التغذية الراجعة في أي تطبيق بودكاست آخر.
Type Theory Forall is a podcast hosted by Pedro Abreu, a Purdue PhD Student in Programming Languages. Our goal is to bridge the gap between academia and the world of Programming Languages and Type Theory. For this we interview professors, students and anyone who seem to have something relevant to share about the state of the art of Programming Languages Research.

11 حلقات