Type Theory Forall
Een podcast door Pedro Abreu
53 Afleveringen
-
#52 Why is Haskell so special - Lennart Augustsson
Gepubliceerd: 10-7-2025 -
#51 s/Coq/Rocq - Nicolas Tabareau
Gepubliceerd: 4-6-2025 -
#50 The Expression Problem, Functional Pearls, Program Calculation - Wouter Swierstra
Gepubliceerd: 14-5-2025 -
#49 Self-Education in PL - Ryan Brewer
Gepubliceerd: 14-3-2025 -
#48 Bell Labs - David MacQueen
Gepubliceerd: 21-1-2025 -
#47 The History of LCF, ML and HOPE - David MacQueen
Gepubliceerd: 7-1-2025 -
#46 Realizability, BHK, CPS Translation, Dialectica - Pierre-Marie Pédrot
Gepubliceerd: 29-11-2024 -
#45 What is Type Theory and What Properties we Should Care About - Pierre-Marie Pédrot
Gepubliceerd: 24-11-2024 -
#44 Theorem Prover Foundations, Lean4Lean, Metamath - Mario Carneiro
Gepubliceerd: 6-11-2024 -
#43 PL in the Industry and Summer Schools - Patrick and Eric
Gepubliceerd: 13-9-2024 -
#42 Distributed Systems, Microservices, and Choreographies - Fabrizio Montesi
Gepubliceerd: 29-8-2024 -
#41 The Value of PL (and) Education - Satnam Singh
Gepubliceerd: 15-8-2024 -
#40 Secure Voting - Joe Kiniry
Gepubliceerd: 15-7-2024 -
#39 Equality, Quotation, Bidirectional Type Checking - David Christiansen
Gepubliceerd: 13-6-2024 -
#38 Haskell, Lean, Idris, and the Art of Writing - David Christiansen
Gepubliceerd: 16-5-2024 -
#37 Compilers, Staging, Futamura Projections - Guannan Wei
Gepubliceerd: 11-3-2024 -
#36 Behind the Person Behind this Podcast - Pedro Abreu
Gepubliceerd: 26-12-2023 -
#35 Teika, Self-Education and F***ing Floating Points - Eduardo Rafael
Gepubliceerd: 4-12-2023 -
#34 Foundations of Theorem Provers and Cedille2 - Andrew Marmaduke
Gepubliceerd: 16-10-2023 -
#33 Z3 and Lean, the Spiritual Journey - Leo de Moura
Gepubliceerd: 9-9-2023
An accessible podcast about Type Theory, Programming Languages Research and related topics.
