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
  • © CC BY 4.0

Customer Reviews

5.0 out of 5
3 Ratings

3 Ratings

Top Podcasts In Technology

In Her Ellement
Boston Consulting Group BCG
Lex Fridman Podcast
Lex Fridman
All-In with Chamath, Jason, Sacks & Friedberg
Jason Calacanis
Darknet Diaries
Jack Rhysider
Hard Fork
The New York Times
Waveform: The MKBHD Podcast
Vox Media Podcast Network

You Might Also Like

The Haskell Interlude
Haskell Podcast
CoRecursive: Coding Stories
Adam Gordon Bell - Software Developer
The Joy of Why
Steven Strogatz and Quanta Magazine
The Changelog: Software Development, Open Source
Changelog Media
The Economist Podcasts
The Economist
The Ezra Klein Show
New York Times Opinion