53 Avsnitt

  1. #32 TyDe Systems - Jan de Muijnck-Hughes

    Publicerades: 2023-07-22

  2. #31 Discussing Problems in PL and Academia - Jan de Muijnck-Hughes

    Publicerades: 2023-07-13

  3. #30 Actors, GADTs and Burnout - Dan and Pedro

    Publicerades: 2023-05-30

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

    Publicerades: 2023-04-09

  5. #28 Formally Verifying Smart Contracts - Pruvendo

    Publicerades: 2023-02-15

  6. #27 Formalizing an OS: The seL4 - Gerwin Klein

    Publicerades: 2023-02-04

  7. #26 Mechanizing Modern Mathematics - Kevin Buzzard

    Publicerades: 2023-01-16

  8. #25 Formally Verifying the Tezos Codebase - Formal Land

    Publicerades: 2022-11-21

  9. #24 The History of Isabelle - Lawrence Paulson

    Publicerades: 2022-10-06

  10. #23 What is the SIGPLAN? - Jens Palsberg and Jonathan Aldrich

    Publicerades: 2022-09-24

  11. #22 Impredicativity, LEM, Realizability and more - Cody Roux

    Publicerades: 2022-08-12

  12. #21 Denotational Design - Conal Elliott

    Publicerades: 2022-08-04

  13. #20 Huaweii, String Diagrams, Game Semantics - Dan R. Ghica

    Publicerades: 2022-06-27

  14. #19 Experience Report: Learning Coq - Patrick and Supun

    Publicerades: 2022-06-04

  15. #18 Gödel's Incompleteness Theorems - Cody Roux

    Publicerades: 2022-05-19

  16. #17 The Lost Elegance of Computation - Conal Elliott

    Publicerades: 2022-05-09

  17. #16 Agda, K Axiom, HoTT, Rewrite Theory - Jesper Cockx

    Publicerades: 2022-04-02

  18. #15 Coq Projects, Agda, Idris, Kind - Nitin and Eric

    Publicerades: 2022-03-27

  19. #14 POPL, Parametricity, Scala, DOT - Nitin and Eric

    Publicerades: 2022-02-12

  20. #13 C/C++, Emacs, Haskell, and Coq. The Journey - John Wiegley

    Publicerades: 2021-12-23

2 / 3

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

Visit the podcast's native language site