Type Theory Forall
En podkast av Pedro Abreu
50 Episoder
-
#49 Self-Education in PL - Ryan Brewer
Publisert: 14.3.2025 -
#48 Bell Labs - David MacQueen
Publisert: 21.1.2025 -
#47 The History of LCF, ML and HOPE - David MacQueen
Publisert: 7.1.2025 -
#46 Realizability, BHK, CPS Translation, Dialectica - Pierre-Marie Pédrot
Publisert: 29.11.2024 -
#45 What is Type Theory and What Properties we Should Care About - Pierre-Marie Pédrot
Publisert: 24.11.2024 -
#44 Theorem Prover Foundations, Lean4Lean, Metamath - Mario Carneiro
Publisert: 6.11.2024 -
#43 PL in the Industry and Summer Schools - Patrick and Eric
Publisert: 13.9.2024 -
#42 Distributed Systems, Microservices, and Choreographies - Fabrizio Montesi
Publisert: 29.8.2024 -
#41 The Value of PL (and) Education - Satnam Singh
Publisert: 15.8.2024 -
#40 Secure Voting - Joe Kiniry
Publisert: 15.7.2024 -
#39 Equality, Quotation, Bidirectional Type Checking - David Christiansen
Publisert: 13.6.2024 -
#38 Haskell, Lean, Idris, and the Art of Writing - David Christiansen
Publisert: 16.5.2024 -
#37 Compilers, Staging, Futamura Projections - Guannan Wei
Publisert: 11.3.2024 -
#36 Behind the Person Behind this Podcast - Pedro Abreu
Publisert: 26.12.2023 -
#35 Teika, Self-Education and F***ing Floating Points - Eduardo Rafael
Publisert: 4.12.2023 -
#34 Foundations of Theorem Provers and Cedille2 - Andrew Marmaduke
Publisert: 16.10.2023 -
#33 Z3 and Lean, the Spiritual Journey - Leo de Moura
Publisert: 9.9.2023 -
#32 TyDe Systems - Jan de Muijnck-Hughes
Publisert: 22.7.2023 -
#31 Discussing Problems in PL and Academia - Jan de Muijnck-Hughes
Publisert: 13.7.2023 -
#30 Actors, GADTs and Burnout - Dan and Pedro
Publisert: 30.5.2023
An accessible podcast about Type Theory, Programming Languages Research and related topics.