Type Theory Forall

Type Theory Forall

By Pedro Abreu

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

4.8

13 ratings

Download on the App Store

Type Theory Forall episodes:

FAQs about Type Theory Forall:

How many episodes does Type Theory Forall have?

The podcast currently has 71 episodes available.

More shows like Type Theory Forall

Marketplace by Marketplace

Marketplace

8,801 Listeners

The Knowledge Project by Shane Parrish

The Knowledge Project

2,672 Listeners

The Changelog: Software Development, Open Source by Changelog Media

The Changelog: Software Development, Open Source

288 Listeners

Conversations with Tyler by Mercatus Center at George Mason University

Conversations with Tyler

2,461 Listeners

The Quanta Podcast by Quanta Magazine

The Quanta Podcast

544 Listeners

CoRecursive: Coding Stories by Adam Gordon Bell - Software Developer

CoRecursive: Coding Stories

189 Listeners

Sean Carroll's Mindscape: Science, Society, Philosophy, Culture, Arts, and Ideas by Sean Carroll

Sean Carroll's Mindscape: Science, Society, Philosophy, Culture, Arts, and Ideas

4,167 Listeners

Machine Learning Street Talk (MLST) by Machine Learning Street Talk (MLST)

Machine Learning Street Talk (MLST)

101 Listeners

Dwarkesh Podcast by Dwarkesh Patel

Dwarkesh Podcast

551 Listeners

The Rest Is History by Goalhanger

The Rest Is History

15,506 Listeners

The Haskell Interlude by Haskell Podcast

The Haskell Interlude

14 Listeners

Software Unscripted by Richard Feldman

Software Unscripted

29 Listeners

Oxide and Friends by Oxide Computer Company

Oxide and Friends

67 Listeners

Past Present Future by David Runciman

Past Present Future

347 Listeners

Sharp Tech with Ben Thompson by Andrew Sharp and Ben Thompson

Sharp Tech with Ben Thompson

97 Listeners