8 episodes

Type Theory Forall is a podcast about Type Theory and Programming Language research in general. We interview relevant people in our field.

Type Theory Forall Pedro Abreu

    • Technology

Type Theory Forall is a podcast about Type Theory and Programming Language research in general. We interview relevant people in our field.

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

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

    Cody Roux

    • 2 hr 50 min
    #17 The Lost Elegance of Computation - Conal Elliott

    #17 The Lost Elegance of Computation - Conal Elliott

    Conal Elliott

    • 3 hr 32 min
    #16 Agda, K Axiom, HoTT, Rewrite Theory - Jesper Cockx

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

    Jesper Cockx

    • 1 hr 36 min
    #15 Coq Projects, Agda, Idris, Kind - Nitin and Eric

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

    Nitin and Eric

    • 1 hr 17 min
    #14 POPL, Parametricity, Scala, DOT - Nitin and Eric

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

    Nitin and Eric

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

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

    John Wiegley

    • 1 hr 39 min

Top Podcasts In Technology

Jason Calacanis
Lex Fridman
PJ Vogt
NPR
Jack Rhysider
Gimlet

You Might Also Like

Aaron Stump
Haskell Podcast
se-radio@computer.org
Craig Box
Jane Street
The New York Times