Type Theory Forall


Manage series 2951423
著作 Pedro Abreu の情報はPlayer FM及びコミュニティによって発見されました。著作権は出版社によって所持されます。そして、番組のオーディオは、その出版社のサーバから直接にストリーミングされます。Player FMで購読ボタンをタップし、更新できて、または他のポッドキャストアプリにフィードのURLを貼り付けます。
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.

14 つのエピソード