38 episodes
Type Theory Forall Pedro Abreu
-
- Technology
-
-
5.0 • 5 Ratings
-
An accessible podcast about Type Theory, Programming Languages Research and
related topics.
-
#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
-
#33 Z3 and Lean, the Spiritual Journey - Leo de Moura
Leo de Moura
-
#32 TyDe Systems - Jan de Muijnck-Hughes
Jan de Muijnck-Hughes
Customer Reviews
Top Podcasts In Technology
You Might Also Like
The Haskell Interlude
Haskell Podcast
CoRecursive: Coding Stories
Adam Gordon Bell - Software Developer
The Joy of Why
Steven Strogatz, Janna Levin and Quanta Magazine
Sean Carroll's Mindscape: Science, Society, Philosophy, Culture, Arts, and Ideas
Sean Carroll | Wondery
All-In with Chamath, Jason, Sacks & Friedberg
All-In Podcast, LLC
Functional Design in Clojure
Christoph Neumann and Nate Jones