Type Theory Forall

Pedro Abreu•63 avsnitt•1 tim 40 min•Månatligen

An accessible podcast about Type Theory, Programming Languages Research and related topics.

#2 Grad School Life - Rajan Walia and John Sarracino

10 jan. 2021•1 tim 17 min

#1 What is PL research? - Prof. Ben Delaware

23 dec. 2020•58 min

#0 Cool Internships in PL - Pedro Abreu

14 dec. 2020•32 min

Type Theory Forall med Pedro Abreu finns tillgänglig på flera plattformar. Poddens innehåll och bilderna på den här webbplatsen hämtas med hjälp av poddens RSS-flöde.