Skribe
Type Theory Forall

#65 TLA+, Quint and Formal Verification in the Age of AI - Gabriela Moreira

Type Theory Forall

Show Notes

Gabriela Moreira

More from Type Theory Forall

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

Mar 25, 2026
#60 Conversations on Life, AI, and the PL Job Market - Pedro and Dan

Pedro and Dan

See all episodes →