Popl 2025

Our paper Abstract Operational Methods for Call-by-Push-Value has been accepted for publication at POPL’25!