Skri
b
e
Recent
Directory
Trends
Firehose
#27 Formalizing an OS: The seL4 - Gerwin Klein
Type Theory Forall
Saturday, February 4, 2023
Play
Queue
Like
Share
Show Notes
Gerwin Klein
More from Type Theory Forall
Oct 19, 2026
#65 TLA+, Quint and Formal Verification in the Age of AI - Gabriela Moreira
Gabriela Moreira
Sep 5, 2026
#64 PL Education in the Age of AI - Shriram Krishnamurthi
Shriram Krishnamurthi
Aug 7, 2026
#63 Hack: Typing PHP at Facebook Scale - Julien Verlaguet
Julien Verlaguet
Jun 13, 2026
#62 Dependent Haskell - Vladislav Zavialov
Vladislav Zavialov
Apr 16, 2026
#61 Zurihac Behind the Scenes - Farhad Mehta
Farhad Mehta
See all episodes →
