Type Theory Forall
by Pedro Abreu
Is this your podcast?Insights from recent episode analysis
Audience Interest
Podcast Focus
Publishing Consistency
Platform Reach
Insights are generated by CastFox AI using publicly available data, episode content, and proprietary models.
Most discussed topics
Brands & references
Est. Listeners
Insufficient chart data. Estimates will improve as the show charts.
- Per-Episode Audience
Est. listeners per new episode within ~30 days
N/A🎙 ~2x weekly·62 episodes·Last published 2mo ago - Monthly Reach
Unique listeners across all episodes (30 days)
N/A - Active Followers
Loyal subscribers who consistently listen
N/A
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.
On the show
From 11 epsHost
Recent guests
Recent episodes
#62 Dependent Haskell - Vladislav Zavialov
Jun 13, 2026
2h 04m 41s
#61 Zurihac Behind the Scenes - Farhad Mehta
Apr 16, 2026
2h 19m 18s
#60 Conversations on Life, AI, and the PL Job Market - Pedro and Dan
Mar 25, 2026
1h 53m 23s
#59 Category Theory and Inclusivity - Valeria de Paiva
Jan 28, 2026
2h 46m 47s
#58 Constructivism and Computational Content - Andrej Bauer
Dec 16, 2025
2h 18m 35s
Social Links & Contact
Official channels & resources
Official Website
Login
RSS Feed
Login
| Date | Episode | Topics | Guests | Brands | Places | Keywords | Sponsor | Length | |
|---|---|---|---|---|---|---|---|---|---|
| 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 | ||
| 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 |
Showing 11 of 11
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.