Pedro Abreu
An accessible podcast about Type Theory, Programming Languages Research andrelated topics.
#38 Haskell, Lean, Idris, and the Art of Writing - David Christiansen
#37 Compilers, Staging, Futamura Projections - Guannan Wei
Podchaser is the ultimate destination for podcast data, search, and discovery. Learn More