Technology

What is Control Flow Analysis for Lambda Calculus?

Jan 16, 202619:24Technology

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.

What is Control Flow Analysis for Lambda Calculus?

About This Episode

Related Episodes