A Strange Deal
May 1, 2026 - 2:57
Radio and PodcastLive Radio & PodcastsTechnology
What is Control Flow Analysis for Lambda Calculus?
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.
About This Episode
What is Control Flow Analysis for Lambda Calculus? is an episode from Iowa Type Theory Commute by Aaron Stump. I am currently on a frolic into the literature on Control Flow Analysis (CFA), and discuss what this is, for pure lambda calculus...
Podcast
This episode belongs to Iowa Type Theory Commute.
Listen Online
Use the player on this page to stream the episode online.
Episode Details
Published Jan 16, 2026, 19:24 long, audio available.
Related Episodes
Continue listening to more episodes from Iowa Type Theory Commute.
Great paper: The Calculated Typer
Apr 20, 2026 - 23:41
Double-negation translations and CPS conversion, part 2
Apr 2, 2026 - 13:31
Double-negation translations and CPS conversion, part 1
Mar 31, 2026 - 13:48
What are commuting conversions in proof theory?
Mar 3, 2026 - 22:29
Measure Functions and Termination of STLC
Nov 14, 2025 - 21:42
Schematic Affine Recursion, Oh My!
Aug 22, 2025 - 18:49
The Stunner: Linear System T is Diverging!
Aug 19, 2025 - 21:03
Questions About This Episode
What is What is Control Flow Analysis for Lambda Calculus? about?
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.
Where can I listen to What is Control Flow Analysis for Lambda Calculus??
You can listen to What is Control Flow Analysis for Lambda Calculus? online on Radio and Podcast. Open the player on this page to stream the available audio.
Which podcast is What is Control Flow Analysis for Lambda Calculus? from?
What is Control Flow Analysis for Lambda Calculus? is an episode from Iowa Type Theory Commute by Aaron Stump.
How long is this episode?
This episode is 19:24 long.
When was this episode published?
This episode was published on Jan 16, 2026.
Can I save What is Control Flow Analysis for Lambda Calculus? for later?
Yes. Use the heart button on the episode page to add it to your favorite episodes list.
Are there related episodes from Iowa Type Theory Commute?
Yes. This page shows related episodes from Iowa Type Theory Commute when more episodes are available from the podcast feed.
Quick Answers About This Episode
Where can I listen to What is Control Flow Analysis for Lambda Calculus??
You can listen to What is Control Flow Analysis for Lambda Calculus? on this page when the episode audio is available from the podcast feed.
Which podcast is this episode from?
What is Control Flow Analysis for Lambda Calculus? is from Iowa Type Theory Commute by Aaron Stump.
What are the episode details?
Published Jan 16, 2026 and 19:24 long