Type Theory Forall
Pedro Abreu
An accessible podcast about Type Theory, Programming Languages Research and related
topics.
topics.
Episodes
Mentioned books
Dec 14, 2020 • 32min
#0 Cool Internships in PL - Pedro Abreu
Who is Pedro Abreu?
What is the goal of this Podcast?
What are My Research Interests?
In this episode I share about my internship experiences at Nicta (data61 now), Sifive, Galois and Nomadic Labs.
Welcome!
Don’t forget to checkout Galois’ new podcast hosted by Joey Dodds and Shpat Morina. Click Here
