Type Theory Forall
An accessible podcast about Type Theory, Programming Languages Research and related topics.
Insights from recent episode analysis
On the show
- Farhad Mehta1 ep
- Dan Plyukhin1 ep
- Valeria de Paiva1 ep
Also: Andrej Bauer, Raghav Malik, Francille Zhuang, Mike Sperber, Philip Wadler, Derek Dreyer, Lennart Augustsson, Vladislav Zavialov, Shriram Krishnamurthi, Julien Verlaguet
Audience Interest
Podcast Focus
Publishing Consistency
Insights are generated by CastFox AI using publicly available data, episode content, and proprietary models.
Most discussed topics
Brands & references
Total monthly reach
Based on 1 signal.
Built from
By chart position
- 🇧🇷Brazil · Technology#115736 to 3.9K
- Per-Episode Audience
Est. listeners per new episode within ~30 days
736 to 3.9K🎙 Biweekly cadence·65 episodes·Last published 2d ago - Monthly Reach
Unique listeners across all episodes (30 days)
1.1K to 5.6K🇺🇸71%🇧🇷29% - Active Followers
Loyal subscribers who consistently listen
420 to 2.2K
Market Insights
Platform Distribution
Reach across major podcast platforms, updated hourly
Total Followers
—
Total Plays
—
Total Reviews
—
* Data sourced directly from platform APIs and aggregated hourly across all major podcast directories.
| Date | Episode | Topics | Guests | Brands | Places | Keywords | Sponsor | Length | |
|---|---|---|---|---|---|---|---|---|---|
| 10/19/26 | #65 TLA+, Quint and Formal Verification in the Age of AI - Gabriela Moreira | No description provided. | 2h 02m 42s | ||||||
| 9/5/26 | programming languages educationAI impact on education+3 | Shriram Krishnamurthi | BrownRacket Programming Language+1 | — | programming educationAI+3 | — | 2h 43m 45s | ||
| 8/7/26 | HackPHP+3 | Julien Verlaguet | FacebookJulien's Website+1 | — | HackPHP+5 | SkipLabs | 1h 46m 13s | ||
| 6/13/26 | HaskellGlasgow Haskell Compiler+3 | Vladislav Zavialov | Dependent HaskellSerokell+2 | — | HaskellGHC+5 | — | 2h 04m 41s | ||
| 4/16/26 | HaskellZurihac+3 | Farhad Mehta | Zurihac | Zurich | HaskellZurihac+5 | — | 2h 19m 18s | ||
| 3/25/26 | meditationwork-life balance+5 | Dan Plyukhin | — | — | meditationwork-life balance+3 | — | 1h 53m 23s | ||
| 1/28/26 | category theorytype theory+5 | Valeria de Paiva | Topos Institute | BrazilCambridge | category theorytype theory+6 | — | 2h 46m 47s | ||
| 12/16/25 | ConstructivismComputational Content+4 | Andrej Bauer | CMUThe Proof Assistants stack exchange | — | Type TheoryProgramming Languages+5 | — | 2h 18m 35s | ||
| 12/6/25 | compilersprivacy-preserving computation+3 | Raghav Malik | — | — | compilersprivacy+5 | — | 59m 16s | ||
| 11/17/25 | Property Based TestingGraduate School Applications+3 | Francille Zhuang | Purdue University | — | Property Based TestingGraduate School+3 | — | 1h 36m 23s | ||
Want analysis for the episodes below?Free for Pro Submit a request, we'll have your selected episodes analyzed within an hour. Free, at no cost to you, for Pro users. | |||||||||
| 10/27/25 | Functional ProgrammingObject Oriented Programming+3 | Mike Sperber | Active GroupBob Konf+6 | — | Functional ProgrammingObject Oriented Programming+6 | — | 2h 38m 21s | ||
| 9/29/25 | science communicationtype theory+5 | Philip Wadler | StanfordCMU+1 | — | Philip Wadlertype theory+5 | — | 1h 50m 05s | ||
| 8/27/25 | Rust programmingacademic writing+3 | Derek Dreyer | Max Planck InstituteACM+3 | — | RustBeltIris+5 | — | 2h 25m 22s | ||
| 7/10/25 | Haskellfunctional programming+4 | Lennart Augustsson | Credit SuisseFacebook+7 | — | Haskellfunctional programming+6 | — | 1h 30m 31s | ||
| 6/4/25 | #51 s/Coq/Rocq - Nicolas Tabareau | No description provided. | 1h 42m 05s | ||||||
| 5/14/25 | #50 The Expression Problem, Functional Pearls, Program Calculation - Wouter Swierstra | No description provided. | 2h 06m 47s | ||||||
| 3/14/25 | #49 Self-Education in PL - Ryan Brewer | No description provided. | 2h 23m 47s | ||||||
| 1/21/25 | #48 Bell Labs - David MacQueen | No description provided. | 2h 10m 12s | ||||||
| 1/7/25 | #47 The History of LCF, ML and HOPE - David MacQueen | No description provided. | 2h 05m 04s | ||||||
| 11/29/24 | #46 Realizability, BHK, CPS Translation, Dialectica - Pierre-Marie Pédrot | No description provided. | 1h 03m 36s | ||||||
| 11/24/24 | #45 What is Type Theory and What Properties we Should Care About - Pierre-Marie Pédrot | No description provided. | 1h 21m 41s | ||||||
| 11/6/24 | #44 Theorem Prover Foundations, Lean4Lean, Metamath - Mario Carneiro | No description provided. | 2h 13m 31s | ||||||
| 9/13/24 | #43 PL in the Industry and Summer Schools - Patrick and Eric | No description provided. | 1h 01m 30s | ||||||
| 8/29/24 | #42 Distributed Systems, Microservices, and Choreographies - Fabrizio Montesi | No description provided. | 1h 52m 49s | ||||||
| 8/15/24 | #41 The Value of PL (and) Education - Satnam Singh | No description provided. | 1h 41m 04s | ||||||
Showing 25 of 65
Pitch Fit is a Pro feature
See how bookable this show is for guests, which brands already advertise, the per-episode ad value, and the best-fit guest and sponsor profile. The numbers are blurred on the free plan.
How readily this show books outside guests like you.
How proven this show is for host-read sponsorships.
For Guests
ProFor Advertisers
ProUpgrade to Pro to unlock guest cadence, sponsor categories, fit scores, and per-episode ad value for this show.
Similar Audience Demographics
Podcasts that attract a similar listener profile
