Type Theory Forall

50 Episodes

1. #49 Self-Education in PL - Ryan Brewer

   Published: 14/03/2025
2. #48 Bell Labs - David MacQueen

   Published: 21/01/2025
3. #47 The History of LCF, ML and HOPE - David MacQueen

   Published: 07/01/2025
4. #46 Realizability, BHK, CPS Translation, Dialectica - Pierre-Marie Pédrot

   Published: 29/11/2024
5. #45 What is Type Theory and What Properties we Should Care About - Pierre-Marie Pédrot

   Published: 24/11/2024
6. #44 Theorem Prover Foundations, Lean4Lean, Metamath - Mario Carneiro

   Published: 06/11/2024
7. #43 PL in the Industry and Summer Schools - Patrick and Eric

   Published: 13/09/2024
8. #42 Distributed Systems, Microservices, and Choreographies - Fabrizio Montesi

   Published: 29/08/2024
9. #41 The Value of PL (and) Education - Satnam Singh

   Published: 15/08/2024
10. #40 Secure Voting - Joe Kiniry

    Published: 15/07/2024
11. #39 Equality, Quotation, Bidirectional Type Checking - David Christiansen

    Published: 13/06/2024
12. #38 Haskell, Lean, Idris, and the Art of Writing - David Christiansen

    Published: 16/05/2024
13. #37 Compilers, Staging, Futamura Projections - Guannan Wei

    Published: 11/03/2024
14. #36 Behind the Person Behind this Podcast - Pedro Abreu

    Published: 26/12/2023
15. #35 Teika, Self-Education and F***ing Floating Points - Eduardo Rafael

    Published: 04/12/2023
16. #34 Foundations of Theorem Provers and Cedille2 - Andrew Marmaduke

    Published: 16/10/2023
17. #33 Z3 and Lean, the Spiritual Journey - Leo de Moura

    Published: 09/09/2023
18. #32 TyDe Systems - Jan de Muijnck-Hughes

    Published: 22/07/2023
19. #31 Discussing Problems in PL and Academia - Jan de Muijnck-Hughes

    Published: 13/07/2023
20. #30 Actors, GADTs and Burnout - Dan and Pedro

    Published: 30/05/2023