53 Episoder

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

    Udgivet: 10.7.2025

  2. #51 s/Coq/Rocq - Nicolas Tabareau

    Udgivet: 4.6.2025

  3. #50 The Expression Problem, Functional Pearls, Program Calculation - Wouter Swierstra

    Udgivet: 14.5.2025

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

    Udgivet: 14.3.2025

  5. #48 Bell Labs - David MacQueen

    Udgivet: 21.1.2025

  6. #47 The History of LCF, ML and HOPE - David MacQueen

    Udgivet: 7.1.2025

  7. #46 Realizability, BHK, CPS Translation, Dialectica - Pierre-Marie Pédrot

    Udgivet: 29.11.2024

  8. #45 What is Type Theory and What Properties we Should Care About - Pierre-Marie Pédrot

    Udgivet: 24.11.2024

  9. #44 Theorem Prover Foundations, Lean4Lean, Metamath - Mario Carneiro

    Udgivet: 6.11.2024

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

    Udgivet: 13.9.2024

  11. #42 Distributed Systems, Microservices, and Choreographies - Fabrizio Montesi

    Udgivet: 29.8.2024

  12. #41 The Value of PL (and) Education - Satnam Singh

    Udgivet: 15.8.2024

  13. #40 Secure Voting - Joe Kiniry

    Udgivet: 15.7.2024

  14. #39 Equality, Quotation, Bidirectional Type Checking - David Christiansen

    Udgivet: 13.6.2024

  15. #38 Haskell, Lean, Idris, and the Art of Writing - David Christiansen

    Udgivet: 16.5.2024

  16. #37 Compilers, Staging, Futamura Projections - Guannan Wei

    Udgivet: 11.3.2024

  17. #36 Behind the Person Behind this Podcast - Pedro Abreu

    Udgivet: 26.12.2023

  18. #35 Teika, Self-Education and F***ing Floating Points - Eduardo Rafael

    Udgivet: 4.12.2023

  19. #34 Foundations of Theorem Provers and Cedille2 - Andrew Marmaduke

    Udgivet: 16.10.2023

  20. #33 Z3 and Lean, the Spiritual Journey - Leo de Moura

    Udgivet: 9.9.2023

1 / 3

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

Visit the podcast's native language site