Type Theory Forall

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

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

Avsnitt

· 65

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.

Type Theory Forall

Avsnitt

#4 Theorem Provers, Functional Programming and Companies - Eric Bond

#3 ML for PL and Mental Health - Dan Zheng

#2 Grad School Life - Rajan Walia and John Sarracino

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

#0 Cool Internships in PL - Pedro Abreu