This page shows all presentations of this author published in EasyChair Smart Slide.
A Formal Equational Theory for Call-by-Push-Value
Christine Rizkallah, Dmitri Garbuzov and Steve Zdancewic