Type Theory Forall

53 Epizód

1. #52 Why is Haskell so special - Lennart Augustsson

   Közzétéve: 2025. 07. 10.
2. #51 s/Coq/Rocq - Nicolas Tabareau

   Közzétéve: 2025. 06. 04.
3. #50 The Expression Problem, Functional Pearls, Program Calculation - Wouter Swierstra

   Közzétéve: 2025. 05. 14.
4. #49 Self-Education in PL - Ryan Brewer

   Közzétéve: 2025. 03. 14.
5. #48 Bell Labs - David MacQueen

   Közzétéve: 2025. 01. 21.
6. #47 The History of LCF, ML and HOPE - David MacQueen

   Közzétéve: 2025. 01. 07.
7. #46 Realizability, BHK, CPS Translation, Dialectica - Pierre-Marie Pédrot

   Közzétéve: 2024. 11. 29.
8. #45 What is Type Theory and What Properties we Should Care About - Pierre-Marie Pédrot

   Közzétéve: 2024. 11. 24.
9. #44 Theorem Prover Foundations, Lean4Lean, Metamath - Mario Carneiro

   Közzétéve: 2024. 11. 06.
10. #43 PL in the Industry and Summer Schools - Patrick and Eric

    Közzétéve: 2024. 09. 13.
11. #42 Distributed Systems, Microservices, and Choreographies - Fabrizio Montesi

    Közzétéve: 2024. 08. 29.
12. #41 The Value of PL (and) Education - Satnam Singh

    Közzétéve: 2024. 08. 15.
13. #40 Secure Voting - Joe Kiniry

    Közzétéve: 2024. 07. 15.
14. #39 Equality, Quotation, Bidirectional Type Checking - David Christiansen

    Közzétéve: 2024. 06. 13.
15. #38 Haskell, Lean, Idris, and the Art of Writing - David Christiansen

    Közzétéve: 2024. 05. 16.
16. #37 Compilers, Staging, Futamura Projections - Guannan Wei

    Közzétéve: 2024. 03. 11.
17. #36 Behind the Person Behind this Podcast - Pedro Abreu

    Közzétéve: 2023. 12. 26.
18. #35 Teika, Self-Education and F***ing Floating Points - Eduardo Rafael

    Közzétéve: 2023. 12. 04.
19. #34 Foundations of Theorem Provers and Cedille2 - Andrew Marmaduke

    Közzétéve: 2023. 10. 16.
20. #33 Z3 and Lean, the Spiritual Journey - Leo de Moura

    Közzétéve: 2023. 09. 09.