Skip to content
Sign in
Artwork for Iowa Type Theory Commute
Iowa Type Theory Commute · January 16 · 19 min

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.

0:00-19:24
Play in

transcript

No transcript — this publisher did not publish one.

show notes

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.

links1

more episodes

All episodes