Type Theory Forall
Pedro AbreuAn accessible podcast about Type Theory, Programming Languages Research and related topics.
| Publishes | Monthly | Episodes | 65 | Founded | 5 years ago |
|---|---|---|---|---|---|
| Number of Listeners | Categories | TechnologyScience | |||
Listen to this Podcast
Latest Episodes
Derek Dreyer is a professor at the Max Planck Institute, in 2024 he was awarded the ACM Fellowship, in 2017 he got the ACM Sigplan Robin Milner Young Researcher Award. And has participated or lead greatly influential work, such as the RustBelt Projec... more
Lennart Augustsson has spent the last four decades quietly — and sometimes mischievously — shaping the way we think about code.
He co-authored Lazy ML in the early 80s, wrote A Compiler for LML back in 1984, and was behind HBC, the first publicly av... more
In this episode we talk with Nicolas Tabareau, the Head of Gallinette, one of the main teams which develop the Rocq theorem Prover at Inria.
The original idea of this interview is to talk about the rebranding from Coq into Rocq, which is very exciti... more
Wouter Swierstra is a Math Bachelor’s from the University of Utrecht, has done his PhD with Thorsten Altenkirch at the University of Nottingham, did a post-doc at Chalmers, has experience in the industry working on facilitating the design of embedded... more
Ryan Brewer is a college dropout who has an incredible blog about PL, Category Theory and Logic. He better define his goal as making Formal Theory more accessible outside the ivory tower of academia, and easier to put into practice where it matters. more
In this episode we continue with our conversation with David MacQueen, he is an Emeritus Professor from the University of Chicago, and has worked at Bell Labs for 20 years.
Bell Labs began as the research and development section of the American Tele... more
David MacQueen has worked at Bell Labs for around 20 years during it’s Golden Age. Professor at Chicago University for 23 years. He is one of the designers of SML, one of the fathers of HOPE the programming language that introduced the notion of Alge... more
In this episode Pierre-Marie Pédrot, one of the main Coq/Rocq developers joins us to talk about Krivine, Kleene and Gödel Realizability Models, how it relates to the BHK interpretation and CPS Translations, and how it was all already part of Gödel's ... more
Key Facts
Similar Podcasts
People also subscribe to these shows.
Recent Guests
Host
Top Technology Podcasts
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?
A deep exploration of type theory, programming languages, and formal methods takes center stage, offering listeners insights on cutting-edge research and practical applications. Episodes frequently feature discussions on the evolution of programming languages, the intricacies of theorem proving, and the relationship between theory and industry practices. Noteworthy guests include prominent experts in academia and technology who share their experiences and contributions to the field, making complex concepts more approachable to both seasoned professionals and newcomers alike. The focus on self-education and community engagement fosters a welcoming environment for those interested in enhancing their knowledge of programming and type theory.
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. Iowa Type Theory Commute
3. Signals and Threads
4. Oxide and Friends
5. CoRecursive: Coding Stories
How many episodes of Type Theory Forall are there?
Type Theory Forall launched 5 years ago and published 65 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. Lennart Augustsson
2. Nicolas Tabareau
3. Wouter Swierstra
4. Ryan Brewer
5. David MacQueen
6. Fabrizio Montesi
7. Joe Kiniry
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.