What Is Control Flow Analysis for Lambda Calculus? – Iowa Type Theory Commute
Summary
A podcast episode analyzing Control Flow Analysis for pure lambda calculus, referencing Palsberg, and discussing measure functions for termination in simply typed lambda calculus. The content provides a compact look at CFA concepts and termination analysis in functional languages.