Type Theory Forall
A podcast by Pedro Abreu
50 Episodes
-
#9 Logic and Proof Theory - Anupam Das
Published: 28/05/2021 -
#8 Cedille - Chris Jenkins
Published: 11/05/2021 -
#7 Hacking Isabelle's Internals - Daniel Matichuk
Published: 16/04/2021 -
#6 All The Dumb Questions on Gradual Types - Zeina Migeed
Published: 29/03/2021 -
#5 The History of Coq'Art - Yves Bertot
Published: 27/02/2021 -
#4 Theorem Provers, Functional Programming and Companies - Eric Bond
Published: 15/02/2021 -
#3 ML for PL and Mental Health - Dan Zheng
Published: 01/02/2021 -
#2 Grad School Life - Rajan Walia and John Sarracino
Published: 10/01/2021 -
#1 What is PL research? - Prof. Ben Delaware
Published: 23/12/2020 -
#0 Cool Internships in PL - Believe or not there are quite a few companies interested in Programming Languages Research.
Published: 14/12/2020
An accessible podcast about Type Theory, Programming Languages Research and related topics.