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
You Might Also Like
Iowa Type Theory Commute
Aaron Stump
The Haskell Interlude
Haskell Podcast
The Type Theory Podcast
The Type Theory Podcast
CoRecursive: Coding Stories
Adam Gordon Bell - Software Developer
Oxide and Friends
Oxide Computer Company
Software Engineering Radio - the podcast for professional software developers
se-radio@computer.org