Iowa Type Theory Commute
Aaron Stump talks about type theory, computational logic, and related topics in Computer Science on his short commute.
Iowa Type Theory Commute
What is Control Flow Analysis for Lambda Calculus?
•
Aaron Stump
•
Season 7
•
Episode 2
Use Left/Right to seek, Home/End to jump to start or end. Hold shift to jump forward or backward.
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.