3 ms·
What Is Control Flow Analysis for Lambda Calculus? [audio]
- MathMonkeyMan 9mo agoIt's a 20 minute audio recording that talks about this paper: https://dl.acm.org/doi/pdf/10.1145/200994.201001?download=true https://dl.acm.org/doi/pdf/10.1145/200994.201001?download=tr...