Type Theory Forall

44 Episoder

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

   Publisert: 13.9.2024
2. #42 Distributed Systems, Microservices, and Choreographies - Fabrizio Montesi

   Publisert: 29.8.2024
3. #41 The Value of PL (and) Education - Satnam Singh

   Publisert: 15.8.2024
4. #40 Secure Voting - Joe Kiniry

   Publisert: 15.7.2024
5. #39 Equality, Quotation, Bidirectional Type Checking - David Christiansen

   Publisert: 13.6.2024
6. #38 Haskell, Lean, Idris, and the Art of Writing - David Christiansen

   Publisert: 16.5.2024
7. #37 Compilers, Staging, Futamura Projections - Guannan Wei

   Publisert: 11.3.2024
8. #36 Behind the Person Behind this Podcast - Pedro Abreu

   Publisert: 26.12.2023
9. #35 Teika, Self-Education and F***ing Floating Points - Eduardo Rafael

   Publisert: 4.12.2023
10. #34 Foundations of Theorem Provers and Cedille2 - Andrew Marmaduke

    Publisert: 16.10.2023
11. #33 Z3 and Lean, the Spiritual Journey - Leo de Moura

    Publisert: 9.9.2023
12. #32 TyDe Systems - Jan de Muijnck-Hughes

    Publisert: 22.7.2023
13. #31 Discussing Problems in PL and Academia - Jan de Muijnck-Hughes

    Publisert: 13.7.2023
14. #30 Actors, GADTs and Burnout - Dan and Pedro

    Publisert: 30.5.2023
15. #29 Can PL theory make you a better software engineer? - Jimmy Koppel

    Publisert: 9.4.2023
16. #28 Formally Verifying Smart Contracts - Pruvendo

    Publisert: 15.2.2023
17. #27 Formalizing an OS: The seL4 - Gerwin Klein

    Publisert: 4.2.2023
18. #26 Mechanizing Modern Mathematics - Kevin Buzzard

    Publisert: 16.1.2023
19. #25 Formally Verifying the Tezos Codebase - Formal Land

    Publisert: 21.11.2022
20. #24 The History of Isabelle - Lawrence Paulson

    Publisert: 6.10.2022