Publishers
Charts
Log in
Type Theory Forall
#36 Behind the Person Behind this Podcast - Pedro Abreu
Listen now
More Episodes
See all »
#38 Haskell, Lean, Idris, and the Art of Writing - David Christiansen
Published 05/16/24
Type Theory Forall
Published 05/16/24
#37 Compilers, Staging, Futamura Projections - Guannan Wei
Published 03/11/24
All episodes
Links
tt4a-web.vercel.app
RSS feed
Listen on Apple Podcasts
Twitter
Facebook
Instagram
Patreon
Genres
Technology
Science
Artwork or description wrong?
Request an update »
Updates may take a few minutes.
Do you host a podcast?
Track your ranks and reviews from Spotify, Apple Podcasts and more.
See hourly chart positions and more than 30 days of history.
Get Chartable Analytics »