Type Theory Forall

47 Episodes

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

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

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

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

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

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

   Published: 8/15/2024
7. #40 Secure Voting - Joe Kiniry

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

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

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

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

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

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

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

    Published: 9/9/2023
15. #32 TyDe Systems - Jan de Muijnck-Hughes

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

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

    Published: 5/30/2023
18. #29 Can PL theory make you a better software engineer? - Jimmy Koppel

    Published: 4/9/2023
19. #28 Formally Verifying Smart Contracts - Pruvendo

    Published: 2/15/2023
20. #27 Formalizing an OS: The seL4 - Gerwin Klein

    Published: 2/4/2023