Type Theory Forall is a podcast hosted by Pedro Abreu, a Purdue PhD Student in Programming Languages. Our goal is to bridge the gap academia and the world of Programming Languages and Type Theory. For this we interview professors, students and anyone who seem to have something relevant to share about the state of the art of Programming Languages Research.


If you have any questions, suggestions or would like to sponsor this show please send an email to abre223@gmail.com.


Creative Commons License