Type Theory Forall

44 Episodes

1. #3 ML for PL and Mental Health - Dan Zheng

   Published: 2/1/2021
2. #2 Grad School Life - Rajan Walia and John Sarracino

   Published: 1/10/2021
3. #1 What is PL research? - Prof. Ben Delaware

   Published: 12/23/2020
4. #0 Cool Internships in PL - Believe or not there are quite a few companies interested in Programming Languages Research.

   Published: 12/14/2020