An accessible podcast about Type Theory, Programming Languages Research and related topics.
Publishes | Monthly | Episodes | 40 | Founded | 3 years ago |
---|---|---|---|---|---|
Number of Listeners | Categories | ScienceTechnology |
In this episode we talk with Guannan Wei, from Purdue University. Guannan finished his PhD last year under Tiark Rompf, and is currently doing his Post-Doc with Tiark. Guannan has worked on a plethora of different compilers topics, and in this conver... more
In this episode we celebrate 3 years of existence of this podcast by reflecting on the journey so far, what is my philosophy, how do I approach the interviews, my overall goals for the show, and some of our plans for the future. more
In this episode we talk with Eduardo Rafael. He is self-thaught programming languages enthusiast, youtuber, twitch streamer, multi-skilled programmer that has worked in different aspects of computer science such as PL, operating systems, blockchain, ... more
Andrew Marmaduke is a PhD Candidate from the University of Iowa, he works under Aaron Stump and has been working on revamping the theorem prover Cedille 2. In this episode we tackle fundamental questions about the foundations of the theorem provers, ... more
Not satisfied with implementing one of the most popular automated theorem provers, Z3, Leo de Moura also tackles another extremely hard problem in our field and implements a brand new interactive theorem prover from scratch, Lean. In this episode we ... more
In this episode we continue our conversation with Jan de Muijnck-Hughes a Research Associate at Glasgow University. He works using all sorts of fancy type systems mostly targeted for hardware specification, particularly with the aid of the theorem pr... more
In this episode we have a deep conversation with Jan de Muijnck-Hughes, talks about all the cool research he has done with idris, hardware and different kinds of interesting type systems such as session types, quantitative types and graded types. In ... more
In this episode we have over Dan Plyukhin, a PhD Candidate from the University of Illinois Urbana-Champaign. more
Find out how many people listen to Type Theory Forall 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.
Listeners, engagement and demographics and more for this podcast.
Listeners per Episode | Gender Skew | Engagement Score | |||
---|---|---|---|---|---|
Primary Location | Social Media Reach |
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 Type Theory Forall 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.
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.
Podcast streaming numbers or 'plays' are notoriously tricky to find. Fortunately, Rephonic provides estimated listener figures for Type Theory Forall 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.
To see how many followers or subscribers Type Theory Forall 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.
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.
Type Theory Forall launched 3 years ago and published 40 episodes to date. You can find more information about this podcast including rankings, audience demographics and engagement in our podcast database.
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.
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.
Rephonic pulls reviews for Type Theory Forall 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.
You can view podcasts similar to Type Theory Forall 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.