2025 Alonzo Church Award: Paul Blain Levy for Call-by-Push-Value (CBPV)

44 points 3 days ago

It looks like you have JavaScript disabled. This web app requires that JavaScript is enabled. Please enable JavaScript to use this site (or just go read Hacker News).