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.
Want to check another podcast?
Enter the RSS feed of a podcast, and see all of their public statistics.
