#41 The Value of PL (and) Education - Satnam Singh

Type Theory ForallThursday, August 15, 2024

Show Notes

Satnam Singh

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 →