Type Theory Forall

A podcast by Pedro Abreu

Try Bookbeat 60! days for free, click here

Enjoy a whole world of audiobooks and e-books, everything from new releases to the classics

47 Episodes

#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

3 / 3

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