Rephonic
Artwork for The Type Theory Podcast

The Type Theory Podcast

The Type Theory Podcast

A podcast about type theory

PublishesInfrequentlyEpisodes6Founded10 years ago
Categories
Natural SciencesScience

Listen to the Podcast

Artwork for The Type Theory Podcast

Latest Episodes

Episode 6: Aaron Stump on Cedille

--:--
--:--
7 years ago

Episode 5: Bob Constable on CTT and Nuprl

--:--
--:--
9 years ago

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

--:--
--:--
9 years ago

Episode 3: Dan Licata on Homotopy Type Theory

--:--
--:--
9 years ago

Insights

Podcast Accepts Guests
Contact Information
Podcast Host

Find out how many people listen to The Type Theory Podcast and see how many downloads it gets.

We scanned the web and collated all of the information that we could find in our comprehensive podcast database.

Listen to the audio and view podcast download numbers, contact information, listener demographics and more to help you make better decisions about which podcasts to sponsor or be a guest on.

Reviews

5.0 out of 5 stars from 16 ratings
  • Great Topics

    Why discontinued??

    Apple Podcasts
    5
    Bartosz Piorunski
    Poland4 years ago

Audience

Listeners, engagement and demographics and more for this podcast.

Gender SkewEngagement ScorePrimary Location
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 data for three million podcasts so you can understand how popular each one is. See how many people listen to The Type Theory Podcast and access YouTube viewership numbers, download stats, chart rankings, ratings and more.

Simply upgrade your account and use these figures to decide if the show is worth pitching as a guest or sponsor.

How do I find the number of podcast views for The Type Theory Podcast?

There are two ways to find viewership numbers for podcasts on YouTube. First, you can search for the show on the channel and if it has an account, scroll through the videos to see how many views it gets per episode.

Rephonic also pulls the total number of views for each podcast we find a YouTube account for. You can access these figures by upgrading your account and looking at a show's social media section.

How do I find listening figures for The Type Theory Podcast?

Podcast streaming numbers or 'plays' are notoriously tricky to find. Fortunately, Rephonic provides estimated listener figures for The Type Theory Podcast and three million other podcasts in our database.

To check these stats and get a feel for the show's audience size, you'll need to upgrade your account.

How many subscribers does The Type Theory Podcast have?

To see how many followers or subscribers The Type Theory Podcast has, simply upgrade your account. You'll find a whole host of extra information to help you decide whether appearing as a sponsor or guest on this podcast is right for you or your business.

If it's not, use the search tool to find other podcasts with subscriber numbers that match what you're looking for.

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. You can see some of this data for free. But you will need to upgrade your account to access premium data.

How many episodes of The Type Theory Podcast are there?

The Type Theory Podcast launched 10 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. 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 contact information for you.

Where do you get podcast emails for The Type Theory Podcast from?

Our systems scan a variety of public sources including the podcast's official website, RSS feed, and email databases to provide you with a trustworthy source of podcast contact information. We also have our own research team on-hand to manually find email addresses if you can't find exactly what you're looking for.

Where does Rephonic collect The Type Theory Podcast reviews from?

Rephonic pulls reviews for The Type Theory Podcast from multiple sources, including Apple Podcasts, Castbox, Podcast Addict and more.

View all the reviews in one place instead of visiting each platform individually and use this information to decide whether this podcast is worth pitching as a guest or sponsor.

How does Rephonic know which podcasts are like The Type Theory Podcast?

You can view podcasts similar to The Type Theory Podcast by exploring Rephonic's 3D interactive graph. This tool uses the data displayed on the 'Listeners Also Subscribed To' section of Apple Podcasts to visualise connections between shows.