Iowa Type Theory Commute
Aaron StumpAaron Stump talks about type theory, computational logic, and related topics in Computer Science on his short commute.
| Publishes | Monthly | Episodes | 183 | Founded | 6 years ago |
|---|---|---|---|---|---|
| Number of Listeners | Categories | MathematicsScienceTechnology | |||
Listen to this Podcast
Latest Episodes
In this episode, I talk about the control operator callcc, and how it is implemented during compilation using continuation-passing style (CPS). I sketch how CPS conversion (transforming a program with callcc into one in CPS that does not need callcc... more
In this episode, I talk about a somewhat more advanced case of the Curry-Howard isomorphism (the connection between logic and programming languages where formulas in logic are identified with types, and proofs with programs). This is the identificat... more
Commuting conversions are transformations on proofs in natural deduction, that move certain stuck inferences out of the way, so that the normal detour reductions (which correspond to beta-reduction under Curry-Howard) are enabled. The stuck inferenc... more
I am currently on a frolic into the literature on Control Flow Analysis (CFA), and discuss what this is, for pure lambda calculus. A wonderful reference for this is this paper by Palsberg.
Key Facts
Similar Podcasts
People also subscribe to these shows.
Host
Reviews
- Really great!
Great format, great choice of topics, relaxed pace - thanks for doing this!
Apple Podcasts5Arethereanyfreenicknamesleft
United Kingdom6 years ago - Excellent
What a hidden gem. Now one of my favorite podcasts. It is amazing he is able to speak so clearly and eloquently while driving to work.
Apple Podcasts5TitusRevised
United States6 years ago - Good content and good person
Aaron Stump is the best. He talks about interesting things (type theory), and he just seems like a good person I’d want to spend time with.
Apple Podcasts5GSmithApplesUnited States6 years 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 | #173 |  Japan/Technology |
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 Iowa Type Theory Commute
What is Iowa Type Theory Commute about and what kind of topics does it cover?
This show centers on type theory, lambda calculus, formal methods, and related areas in computer science, often with deep dives into termination, formal proofs, and static analysis. Episodes explore topics like control flow analysis, affine lambda calculus, and finite development theorems, usually framed as approachable discussions that illuminate how theoretical ideas impact programming and language design. A standout feature is the host's ability to explain complex, niche theory with clarity and a relaxed, thoughtful pace, making dense material accessible to listeners with strong CS or math backgrounds. The format often pairs rigorous explanations with connections to ongoing research questions, offering both practical insights and broad t... more
Where can I find podcast stats for Iowa Type Theory Commute?
Rephonic provides a wide range of podcast stats for Iowa Type Theory Commute. 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 Iowa Type Theory Commute and access YouTube viewership numbers, download stats, audience demographics, chart rankings, ratings, reviews and more.
How many listeners does Iowa Type Theory Commute get?
Rephonic provides a full set of podcast information for three million podcasts, including the number of listeners. View further listenership figures for Iowa Type Theory Commute, 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 Iowa Type Theory Commute?
Rephonic provides comprehensive predictive audience data for Iowa Type Theory Commute, 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 Iowa Type Theory Commute have?
To see how many followers or subscribers Iowa Type Theory Commute 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 Iowa Type Theory Commute?
These podcasts share a similar audience with Iowa Type Theory Commute:
1. CoRecursive: Coding Stories
2. Oxide and Friends
3. Software Unscripted
4. Software Engineering Radio - the podcast for professional software developers
5. Security Cryptography Whatever
How many episodes of Iowa Type Theory Commute are there?
Iowa Type Theory Commute launched 6 years ago and published 183 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 Iowa Type Theory Commute?
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 Iowa Type Theory Commute?
Rephonic pulls ratings and reviews for Iowa Type Theory Commute 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 Iowa Type Theory Commute?
Rephonic provides full transcripts for episodes of Iowa Type Theory Commute. 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.