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.
資料
- 節目
- 發佈日期2026年1月16日 下午4:00 [UTC]
- 長度19 分鐘
- 季7
- 集數2
- 分級兒童適宜
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.