0:00
1:49:55
In this episode we celebrate 3 years of existence of this podcast by reflecting on the journey so far, what is my philosophy, how do I approach the interviews, my overall goals for the show, and some of our plans for the future.
In order to achieve this, I first take a detour and tell you a little more about my personal history, and my carreer in type theory and programming languages.
Weitere Episoden von „Type Theory Forall“
Verpasse keine Episode von “Type Theory Forall” und abonniere ihn in der kostenlosen GetPodcast App.