August 7 · 1 hr 46 min
TechnologyScience
Type Theory Forall
Pedro Abreu
An accessible podcast about Type Theory, Programming Languages Research and related
topics.
- 20 episodes
- monthly
- Avg 1 hr 57 min
- English
- June 13 · 2 hr 4 min
#62 Dependent Haskell - Vladislav Zavialov
- April 16 · 2 hr 19 min
#61 Zurihac Behind the Scenes - Farhad Mehta
- March 25 · 1 hr 53 min
#60 Conversations on Life, AI, and the PL Job Market - Pedro and Dan
- January 28 · 2 hr 46 min
#59 Category Theory and Inclusivity - Valeria de Paiva
- Dec 16, 2025 · 2 hr 18 min
#58 Constructivism and Computational Content - Andrej Bauer
- Nov 17, 2025 · 1 hr 36 min
#56 Property Based Testing and PL Grad School Applications - Francille Zhuang
- Oct 27, 2025 · 2 hr 38 min
#55 The Death of OO, The Beauty of Scheme, BobKonf, and FunArch - Mike Sperber
- Sep 29, 2025 · 1 hr 50 min
#54 The Goal of Science is to Communicate Ideas! - Philip Wadler
- Aug 27, 2025 · 2 hr 25 min
#53 RustBelt, Iris, and the Art of Writing - Derek Dreyer
- Jul 10, 2025 · 1 hr 30 min
#52 Why is Haskell so special - Lennart Augustsson
- Jun 4, 2025 · 1 hr 42 min
#51 s/Coq/Rocq - Nicolas Tabareau
- May 14, 2025 · 2 hr 6 min
#50 The Expression Problem, Functional Pearls, Program Calculation - Wouter Swierstra
- Mar 14, 2025 · 2 hr 23 min
#49 Self-Education in PL - Ryan Brewer
- Jan 21, 2025 · 2 hr 10 min
#48 Bell Labs - David MacQueen
- Jan 7, 2025 · 2 hr 5 min
#47 The History of LCF, ML and HOPE - David MacQueen
- Nov 29, 2024 · 1 hr 3 min
#46 Realizability, BHK, CPS Translation, Dialectica - Pierre-Marie Pédrot
- Nov 24, 2024 · 1 hr 21 min
#45 What is Type Theory and What Properties we Should Care About - Pierre-Marie Pédrot
- Nov 6, 2024 · 2 hr 13 min
#44 Theorem Prover Foundations, Lean4Lean, Metamath - Mario Carneiro