Type Theory Forall
En podkast av Pedro Abreu
Kategorier:
44 Episoder
-
#3 ML for PL and Mental Health - Dan Zheng
Publisert: 1.2.2021 -
#2 Grad School Life - Rajan Walia and John Sarracino
Publisert: 10.1.2021 -
#1 What is PL research? - Prof. Ben Delaware
Publisert: 23.12.2020 -
#0 Cool Internships in PL - Believe or not there are quite a few companies interested in Programming Languages Research.
Publisert: 14.12.2020
An accessible podcast about Type Theory, Programming Languages Research and related topics.