26 episodes

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

Type Theory Forall Pedro Abreu

    • Technology
    • 5.0 • 5 Ratings

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

    #36 Behind the Person Behind this Podcast - Pedro Abreu

    #36 Behind the Person Behind this Podcast - Pedro Abreu

    Pedro Abreu

    • 1 hr 49 min
    #35 Teika, Self-Education and F***ing Floating Points - Eduardo Rafael

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

    Eduardo Rafael

    • 1 hr 21 min
    #34 Foundations of Theorem Provers and Cedille2 - Andrew Marmaduke

    #34 Foundations of Theorem Provers and Cedille2 - Andrew Marmaduke

    Andrew Marmaduke

    • 1 hr 28 min
    #33 Z3 and Lean, the Spiritual Journey - Leo de Moura

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

    Leo de Moura

    • 2 hr 5 min
    #32 TyDe Systems - Jan de Muijnck-Hughes

    #32 TyDe Systems - Jan de Muijnck-Hughes

    Jan de Muijnck-Hughes

    • 1 hr 41 min
    #31 Discussing Problems in PL and Academia - Jan de Muijnck-Hughes

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

    Jan de Muijnck-Hughes

    • 2 hr 9 min

Customer Reviews

5.0 out of 5
5 Ratings

5 Ratings

Top Podcasts In Technology

Lex Fridman
Sumsub
Jason Calacanis
Conviction | Pod People
UserTesting
Ben Gilbert and David Rosenthal

You Might Also Like