Type Theory Forall is a podcast hosted by Pedro Abreu (Pronounced ‘Ahbrel’), PhD Student in Programming Languages at Purdue University. Our goal is to create content broadly related with PL research and type theory. For this we interview researchers, host round-tables and have broad discussions about anything related with PL and Type Theory.


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


Creative Commons License