20 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
    • 5.0 • 3 Ratings

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

    #30 Actors, GADTs and Burnout - Dan and Pedro

    #30 Actors, GADTs and Burnout - Dan and Pedro

    Dan and Pedro

    • 1 hr 44 min
    #29 Can PL theory make you a better software engineer? - Jimmy Koppel

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

    Jimmy Koppel

    • 1 hr 24 min
    #28 Formally Verifying Smart Contracts - Pruvendo

    #28 Formally Verifying Smart Contracts - Pruvendo

    Pruvendo

    • 1 hr 10 min
    #27 Formalizing an OS: The seL4 - Gerwin Klein

    #27 Formalizing an OS: The seL4 - Gerwin Klein

    Gerwin Klein

    • 1 hr 58 min
    #26 Mechanizing Modern Mathematics - Kevin Buzzard

    #26 Mechanizing Modern Mathematics - Kevin Buzzard

    Kevin Buzzard

    • 2 hr 15 min
    #25 Formally Verifying the Tezos Codebase - Formal Land

    #25 Formally Verifying the Tezos Codebase - Formal Land

    Formal Land

    • 1 hr 1 min

Customer Reviews

5.0 out of 5
3 Ratings

3 Ratings

Top Podcasts In Technology

Boston Consulting Group BCG
Lex Fridman
Jason Calacanis
Jack Rhysider
The New York Times
Vox Media Podcast Network

You Might Also Like

Haskell Podcast
Adam Gordon Bell - Software Developer
Steven Strogatz and Quanta Magazine
Changelog Media
The Economist
New York Times Opinion