50 Episodes

  1. #29 Can PL theory make you a better software engineer? - Jimmy Koppel

    Published: 09/04/2023
  2. #28 Formally Verifying Smart Contracts - Pruvendo

    Published: 15/02/2023
  3. #27 Formalizing an OS: The seL4 - Gerwin Klein

    Published: 04/02/2023
  4. #26 Mechanizing Modern Mathematics - Kevin Buzzard

    Published: 16/01/2023
  5. #25 Formally Verifying the Tezos Codebase - Formal Land

    Published: 21/11/2022
  6. #24 The History of Isabelle - Lawrence Paulson

    Published: 06/10/2022
  7. #23 What is the SIGPLAN? - Jens Palsberg and Jonathan Aldrich

    Published: 24/09/2022
  8. #22 Impredicativity, LEM, Realizability and more - Cody Roux

    Published: 12/08/2022
  9. #21 Denotational Design - Conal Elliott

    Published: 04/08/2022
  10. #20 Huaweii, String Diagrams, Game Semantics - Dan R. Ghica

    Published: 27/06/2022
  11. #19 Experience Report: Learning Coq - Patrick and Supun

    Published: 04/06/2022
  12. #18 Gödel's Incompleteness Theorems - Cody Roux

    Published: 19/05/2022
  13. #17 The Lost Elegance of Computation - Conal Elliott

    Published: 09/05/2022
  14. #16 Agda, K Axiom, HoTT, Rewrite Theory - Jesper Cockx

    Published: 02/04/2022
  15. #15 Coq Projects, Agda, Idris, Kind - Nitin and Eric

    Published: 27/03/2022
  16. #14 POPL, Parametricity, Scala, DOT - Nitin and Eric

    Published: 12/02/2022
  17. #13 C/C++, Emacs, Haskell, and Coq. The Journey - John Wiegley

    Published: 23/12/2021
  18. #12 Tenure, Sexism and ADHD - Talia Ringer

    Published: 10/11/2021
  19. #11 FP, Monads, GHC, and beyond - Alejandro Serrano

    Published: 04/10/2021
  20. #10 Classical Logic vs Intuitionistic Logic - Thorsten Altenkirch and Anupam Das

    Published: 15/07/2021

2 / 3

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

Visit the podcast's native language site