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 65 episodes available.

More shows like Type Theory Forall

Hanselminutes with Scott Hanselman by Scott Hanselman

Hanselminutes with Scott Hanselman

380 Listeners

The Quanta Podcast by Quanta Magazine

The Quanta Podcast

526 Listeners

ChinaTalk by Jordan Schneider

ChinaTalk

284 Listeners

CoRecursive: Coding Stories by Adam Gordon Bell - Software Developer

CoRecursive: Coding Stories

188 Listeners

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

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

4,131 Listeners

Iowa Type Theory Commute by Aaron Stump

Iowa Type Theory Commute

17 Listeners

Dwarkesh Podcast by Dwarkesh Patel

Dwarkesh Podcast

456 Listeners

Signals and Threads by Jane Street

Signals and Threads

73 Listeners

The Haskell Interlude by Haskell Podcast

The Haskell Interlude

13 Listeners

Software Unscripted by Richard Feldman

Software Unscripted

26 Listeners

The Rest Is Politics by Goalhanger

The Rest Is Politics

3,324 Listeners

Oxide and Friends by Oxide Computer Company

Oxide and Friends

59 Listeners

The Rest Is Money by Goalhanger

The Rest Is Money

183 Listeners

BG2Pod with Brad Gerstner and Bill Gurley by BG2Pod

BG2Pod with Brad Gerstner and Bill Gurley

483 Listeners