Type Theory Forall

#57 - Property Based Testing and Grad School Applications - Francille Zhuang

#55 - The Death of OO, Scheme, BobKonf & FunArch - Mike Sperber

#54 - The Goal of Science is to Communicate Ideas! - Philip Wadler

#53 - RustBelt, Iris, and the Art of Writing - Derek Dreyer

#52 - Why is Haskell so special - Lennart Augustsson

#51 - s/Coq/Rocq - Nicolas Tabareau

#50 The Expression Problem, Functional Pearls, Program Calculation - Wouter Swierstra

#4 - TTForall Learns Lean4

#49 - Self-Education in PL - Ryan Brewer

#48 Bell Labs - David MacQueen

#47 The History of LCF, ML and HOPE - David MacQueen

#46 Realizability, BHK, CPS Translation, Dialectica - Pierre-Marie Pédrot

#45 What is Type Theory and What Properties we Should Care About - Pierre-Marie Pédrot

#44 Theorem Prover Foundations, Lean4Lean, Metamath - Mario Carneiro

#43 PL in the Industry and Summer Schools - Patrick and Eric

#42 Distributed Systems, Microservices, and Choreographies - Fabrizio Montesi

#41 The Value of PL (and) Education - Satnam Singh

#40 Secure Voting - Joe Kiniry

#39 Equality, Quotation, Bidirectional Type Checking - David Christiansen

#38 Haskell, Lean, Idris, and the Art of Writing - David Christiansen

#37 Compilers, Staging, Futamura Projections - Guannan Wei

#36 Behind the Person Behind this Podcast - Pedro Abreu

#35 Teika, Self-Education and F***ing Floating Points - Eduardo Rafael

#34 Foundations of Theorem Provers and Cedille2 - Andrew Marmaduke

#33 Z3 and Lean, the Spiritual Journey - Leo de Moura

#32 TyDe Systems - Jan de Muijnck-Hughes

#31 Discussing Problems in PL and Academia - Jan de Muijnck-Hughes

#30 Actors, GADTs and Burnout - Dan and Pedro

#29 Can PL theory make you a better software engineer? - Jimmy Koppel

#28 Formally Verifying Smart Contracts - Pruvendo