Type Theory Forall

#27 Formalizing an OS: The seL4 - Gerwin Klein

Listen Later
...more
View all episodesView all episodes
Download on the App Store
Type Theory ForallBy Pedro Abreu
  • 4.8
  • 4.8
  • 4.8
  • 4.8
  • 4.8

4.8

13 ratings

More shows like Type Theory Forall

View all
Hanselminutes with Scott Hanselman by Scott Hanselman

Hanselminutes with Scott Hanselman

383 Listeners

The Quanta Podcast by Quanta Magazine

The Quanta Podcast

530 Listeners

ChinaTalk by Jordan Schneider

ChinaTalk

288 Listeners

CoRecursive: Coding Stories by Adam Gordon Bell - Software Developer

CoRecursive: Coding Stories

190 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,175 Listeners

Iowa Type Theory Commute by Aaron Stump

Iowa Type Theory Commute

19 Listeners

Dwarkesh Podcast by Dwarkesh Patel

Dwarkesh Podcast

505 Listeners

Signals and Threads by Jane Street

Signals and Threads

72 Listeners

The Haskell Interlude by Haskell Podcast

The Haskell Interlude

13 Listeners

Software Unscripted by Richard Feldman

Software Unscripted

29 Listeners

The Rest Is Politics by Goalhanger

The Rest Is Politics

3,070 Listeners

Oxide and Friends by Oxide Computer Company

Oxide and Friends

63 Listeners

The Rest Is Money by Goalhanger

The Rest Is Money

182 Listeners

BG2Pod with Brad Gerstner and Bill Gurley by BG2Pod

BG2Pod with Brad Gerstner and Bill Gurley

474 Listeners