50 Episoder

  1. #49 Self-Education in PL - Ryan Brewer

    Publisert: 14.3.2025
  2. #48 Bell Labs - David MacQueen

    Publisert: 21.1.2025
  3. #47 The History of LCF, ML and HOPE - David MacQueen

    Publisert: 7.1.2025
  4. #46 Realizability, BHK, CPS Translation, Dialectica - Pierre-Marie Pédrot

    Publisert: 29.11.2024
  5. #45 What is Type Theory and What Properties we Should Care About - Pierre-Marie Pédrot

    Publisert: 24.11.2024
  6. #44 Theorem Prover Foundations, Lean4Lean, Metamath - Mario Carneiro

    Publisert: 6.11.2024
  7. #43 PL in the Industry and Summer Schools - Patrick and Eric

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

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

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

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

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

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

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

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

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

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

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

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

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

    Publisert: 30.5.2023

1 / 3

An accessible podcast about Type Theory, Programming Languages Research and related topics.

Visit the podcast's native language site