Type Theory Forall

Ranking history

About the show

Latest episodes

• #64 PL Education in the Age of AI - Shriram Krishnamurthi

  September 5, 2026 · 2 hr 44 min

  Shriram has devoted his Career to advance the teaching of programming of programming languages. he is a professor at Brown, The author / co-author of different books about this, and a major contributor the Racket Programming Language. In…

• #63 Hack: Typing PHP at Facebook Scale - Julien Verlaguet

  August 7, 2026 · 1 hr 46 min

  Julien is one of the creators of Hack, a language developed by Facebook to introduce types into PHP. In this episode he talks in depth about the semantics of PHP, and all the ways that it is inhenrently broken, process of development of…

• #62 Dependent Haskell - Vladislav Zavialov

  June 13, 2026 · 2 hr 5 min

  Vlad works at Serokell to develop the Glasgow Haskell Compiler, he is a former member of the Haskell Steering Committee and the current implementer of Dependent Haskell. In this conversation we talk about the development process of the…

• #61 Zurihac Behind the Scenes - Farhad Mehta

  April 16, 2026 · 2 hr 19 min

  In this episode we talk with Farhad Mehta, one of the main organizers of Zurihac, the biggest Haskell event in the planet. Zurihac happens once a year at Zurich. This year’s Zurihac will be on june 6, 7 and 8. Links Zurihac…

• #60 Conversations on Life, AI, and the PL Job Market - Pedro and Dan

  March 25, 2026 · 1 hr 53 min

  In this episode me and Dan Plyukhin get together to have a heartfelt conversation. We start by talking about our experiences with meditation, and how it has helped us to have a more balanced work-life experience. Then the conversation…

• #59 Category Theory and Inclusivity - Valeria de Paiva

  January 28, 2026 · 2 hr 47 min

  In this episode of the Type Theory Forall podcast, we are joined by Valeria de Paiva, a Brazilian mathematician and logician whose work has had a lasting influence on category theory, type theory, and the foundations of logic. She is also…

• #58 Constructivism and Computational Content - Andrej Bauer

  December 16, 2025 · 2 hr 19 min

  Andrej Bauer has done his PhD at CMU under Dana Scott, and he stands right on the edge between mathematics and computer science. During our conversation it just feels that he can just go on in depth about any topic remotely related to Type…

• #57 Compilers for Privacy-Preserving Computation, Category Theory, and Keeping a Good Rythm in your PhD - Raghav Malik

  December 6, 2025 · 59 min

  Raghav Malik, has just defended his PhD on the topic of compilers for privacy-preserving computation, and that's a good chunk of our conversation. He has also spent some years in grad school going down the rabbit hole to actually learn…