The Type Theory Podcast
The Type Theory PodcastA podcast about type theory
| Publishes | Infrequently | Episodes | 6 | Founded | 11 years ago |
|---|---|---|---|---|---|
| Categories | ScienceNatural Sciences | ||||
Listen to this Podcast
Latest Episodes
In our fourth episode, we speak with Stephanie Weirich from the University of Pennsylvania on the Zombie language and Dependent Haskell. Stephanie is a long-time contributor to Haskell, having been involved in the design and implementation of feature... more
Episode 3: Dan Licata on Homotopy Type Theory
Key Facts
Similar Podcasts
People also subscribe to these shows.
Reviews
- Great Topics
Why discontinued??
Apple Podcasts5Bartosz Piorunski
Poland5 years ago
Chart Rankings
How this podcast ranks in the Apple Podcasts, Spotify and YouTube charts.
Apple Podcasts | #157 |  United Kingdom/Science/Natural Sciences |
Apple Podcasts | #217 |  France/Science/Natural Sciences |
Audience Metrics
Listeners, social reach, demographics and more for this podcast.
| Gender Skew | Location | Interests | |||
|---|---|---|---|---|---|
| Professions | Age Range | Household Income | |||
| Social Media Reach | |||||
Frequently Asked Questions About The Type Theory Podcast
Where can I find podcast stats for The Type Theory Podcast?
Rephonic provides a wide range of podcast stats for The Type Theory Podcast. We scanned the web and collated all of the information that we could find in our comprehensive podcast database. See how many people listen to The Type Theory Podcast and access YouTube viewership numbers, download stats, audience demographics, chart rankings, ratings, reviews and more.
How many listeners does The Type Theory Podcast get?
Rephonic provides a full set of podcast information for three million podcasts, including the number of listeners. View further listenership figures for The Type Theory Podcast, including podcast download numbers and subscriber numbers, so you can make better decisions about which podcasts to sponsor or be a guest on. You will need to upgrade your account to access this premium data.
What are the audience demographics for The Type Theory Podcast?
Rephonic provides comprehensive predictive audience data for The Type Theory Podcast, including gender skew, age, country, political leaning, income, professions, education level, and interests. You can access these listener demographics by upgrading your account.
How many subscribers and views does The Type Theory Podcast have?
To see how many followers or subscribers The Type Theory Podcast has on Spotify and other platforms such as Castbox and Podcast Addict, simply upgrade your account. You'll also find viewership figures for their YouTube channel if they have one.
Which podcasts are similar to The Type Theory Podcast?
These podcasts share a similar audience with The Type Theory Podcast:
1. Type Theory Forall
2. Software Unscripted
3. Oxide and Friends
4. ADSP: Algorithms + Data Structures = Programs
How many episodes of The Type Theory Podcast are there?
The Type Theory Podcast launched 11 years ago and published 6 episodes to date. You can find more information about this podcast including rankings, audience demographics and engagement in our podcast database.
How do I contact The Type Theory Podcast?
Our systems regularly scour the web to find email addresses and social media links for this podcast. We scanned the web and collated all of the contact information that we could find in our podcast database. But in the unlikely event that you can't find what you're looking for, our concierge service lets you request our research team to source better contacts for you.
Where can I see ratings and reviews for The Type Theory Podcast?
Rephonic pulls ratings and reviews for The Type Theory Podcast from multiple sources, including Spotify, Apple Podcasts, Castbox, and Podcast Addict.
View all the reviews in one place instead of visiting each platform individually and use this information to decide if a show is worth pitching or not.
How do I access podcast episode transcripts for The Type Theory Podcast?
Rephonic provides full transcripts for episodes of The Type Theory Podcast. Search within each transcript for your keywords, whether they be topics, brands or people, and figure out if it's worth pitching as a guest or sponsor. You can even set-up alerts to get notified when your keywords are mentioned.