S siglog.org 2025 Alonzo Church Award: Paul Blain Levy for Call-by-Push-Value (CBPV) 45 points matt_d 1 year ago 13 comments
