Explore an engaging podcast that covers Type Theory, programming languages, and more, making complex topics approachable for everyone interested in tech.
#49 Self-Education in PL - Ryan Brewer
144 mins • Mar 14, 2025
Charts
- 168NEW
- 63Decreased by 18
- 139Decreased by 31
- 174NEW
- 10NEW
Recent Episodes

Mar 14, 2025
#49 Self-Education in PL - Ryan Brewer
144 mins

Jan 21, 2025
#48 Bell Labs - David MacQueen
130 mins

Jan 7, 2025
#47 The History of LCF, ML and HOPE - David MacQueen
125 mins

Nov 29, 2024
#46 Realizability, BHK, CPS Translation, Dialectica - Pierre-Marie Pédrot
64 mins

Nov 24, 2024
#45 What is Type Theory and What Properties we Should Care About - Pierre-Marie Pédrot
82 mins

Language
English
Country
United States
Website
Feed
Request an Update
Updates may take a few minutes.