Type Theory Forall
Pedro AbreuAn accessible podcast about Type Theory, Programming Languages Research and related topics.
| Publishes | Monthly | Episodes | 74 | Founded | 6 years ago |
|---|---|---|---|---|---|
| Number of Listeners | Categories | ScienceTechnology | |||
Listen to this Podcast
Latest Episodes
Vlad works at Serokell to develop the Glasgow Haskell Compiler, he is a former member of the Haskell Steering Committee and the current implementer of Dependent Haskell.
In this conversation we talk about the development process of the GHC, he expla... more
In this episode we talk with Farhad Mehta, one of the main organizers of Zurihac, the biggest Haskell event in the planet.
Zurihac happens once a year at Zurich. This year’s Zurihac will be on june 6, 7 and 8.
Links
• Zurihac Website
• Types Dis... more
In this episode me and Dan Plyukhin get together to have a heartfelt conversation. We start by talking about our experiences with meditation, and how it has helped us to have a more balanced work-life experience. Then the conversation shifts to comme... more
In this episode of the Type Theory Forall podcast, we are joined by Valeria de Paiva, a Brazilian mathematician and logician whose work has had a lasting influence on category theory, type theory, and the foundations of logic. She is also a co-founde... more
Key Facts
Similar Podcasts
People also subscribe to these shows.
Recent Guests
Hosts
Reviews
- Lose the laugh track!!
The content is great except for the really grating laugh track. The first time the cackle is funny. The 25th time in an episode it’s completely grating and honestly what are you thinking?
Apple Podcasts3jonm123
United States10 months ago
Listeners Say
Key themes from listener reviews, highlighting what works and what could be improved about the show.
Chart Rankings
How this podcast ranks in the Apple Podcasts, Spotify and YouTube charts.
Apple Podcasts | #145 |  Ireland/Technology |
Talking Points
Recent interactions between the hosts and their guests.
Audience Metrics
Listeners, social reach, demographics and more for this podcast.
| Listeners per Episode | |
|---|---|
| Gender Skew | |
| Location | |
| Interests | |
| Professions | |
| Age Range | |
| Household Income | |
| Social Media Reach |
Frequently Asked Questions About Type Theory Forall
What is Type Theory Forall about and what kind of topics does it cover?
This show offers in-depth conversations at the intersection of type theory, programming languages, and related research. Episodes frequently feature researchers, practitioners, and innovators who discuss foundational ideas, practical tooling, and the impact of AI on research workflows. Noteworthy is the balance between personal career narratives and technical exploration, plus a track record of high-profile guests in PL and category theory. The format tends to mix philosophy, education, and industry perspectives, making it a strong fit for listeners who want rigorous, idea-forward discussions alongside real-world implications. Potential listeners will find value in thoughtful debates about theory vs. practice, mentorship and research cultur... more
Where can I find podcast stats for Type Theory Forall?
Rephonic provides a wide range of podcast stats for Type Theory Forall. 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 Type Theory Forall and access YouTube viewership numbers, download stats, audience demographics, chart rankings, ratings, reviews and more.
How many listeners does Type Theory Forall get?
Rephonic provides a full set of podcast information for three million podcasts, including the number of listeners. View further listenership figures for Type Theory Forall, 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 Type Theory Forall?
Rephonic provides comprehensive predictive audience data for Type Theory Forall, 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 Type Theory Forall have?
To see how many followers or subscribers Type Theory Forall 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 Type Theory Forall?
These podcasts share a similar audience with Type Theory Forall:
1. The Haskell Interlude
2. Software Engineering Radio - the podcast for professional software developers
3. CoRecursive: Coding Stories
4. Oxide and Friends
5. Signals and Threads
How many episodes of Type Theory Forall are there?
Type Theory Forall launched 6 years ago and published 74 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 Type Theory Forall?
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 Type Theory Forall?
Rephonic pulls ratings and reviews for Type Theory Forall 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 Type Theory Forall?
Rephonic provides full transcripts for episodes of Type Theory Forall. 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.
What guests have appeared on Type Theory Forall?
Recent guests on Type Theory Forall include:
1. Vladislav Zavialov
2. Farhad Mehta
3. Andrej Bauer
4. Francille Zhuang
5. Philip Wadler
6. Lennart Augustsson
7. Nicolas Tabareau
8. Wouter Swierstra
To view more recent guests and their details, simply upgrade your Rephonic account. You'll also get access to a typical guest profile to help you decide if the show is worth pitching.