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

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,133 Listeners

Iowa Type Theory Commute by Aaron Stump

Iowa Type Theory Commute

17 Listeners

Dwarkesh Podcast by Dwarkesh Patel

Dwarkesh Podcast

455 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,329 Listeners

Oxide and Friends by Oxide Computer Company

Oxide and Friends

59 Listeners

The Rest Is Money by Goalhanger

The Rest Is Money

186 Listeners

BG2Pod with Brad Gerstner and Bill Gurley by BG2Pod

BG2Pod with Brad Gerstner and Bill Gurley

485 Listeners