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.
Fler avsnitt från "Type Theory Forall"
Missa inte ett avsnitt av “Type Theory Forall” och prenumerera på det i GetPodcast-appen.