40 episodes
Type Theory Forall Pedro Abreu
-
- Technology
An accessible podcast about Type Theory, Programming Languages Research and
related topics.
-
#39 Equality, Quotation, Bidirectional Type Checking - David Christiansen
David Christiansen
-
#38 Haskell, Lean, Idris, and the Art of Writing - David Christiansen
David Christiansen
-
#37 Compilers, Staging, Futamura Projections - Guannan Wei
Guannan Wei
-
#36 Behind the Person Behind this Podcast - Pedro Abreu
Pedro Abreu
-
#35 Teika, Self-Education and F***ing Floating Points - Eduardo Rafael
Eduardo Rafael
-
#34 Foundations of Theorem Provers and Cedille2 - Andrew Marmaduke
Andrew Marmaduke
Top Podcasts In Technology
Lex Fridman Podcast
Lex Fridman
Acquired
Ben Gilbert and David Rosenthal
The Instagram Stories - Social Media News
The Instagram Stories, Daniel Hill
Lenny's Podcast: Product | Growth | Career
Lenny Rachitsky
Super Data Science: ML & AI Podcast with Jon Krohn
Jon Krohn
Syntax - Tasty Web Development Treats
Wes Bos & Scott Tolinski - Full Stack JavaScript Web Developers
You Might Also Like
Iowa Type Theory Commute
Aaron Stump
The Haskell Interlude
Haskell Podcast
CoRecursive: Coding Stories
Adam Gordon Bell - Software Developer
Oxide and Friends
Oxide Computer Company
The Type Theory Podcast
The Type Theory Podcast
Sean Carroll's Mindscape: Science, Society, Philosophy, Culture, Arts, and Ideas
Sean Carroll | Wondery