Cassia Torczon

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Top Topics

Negative Effects

Top Venues

Publications

Cassia Torczon, Emmanuel Suárez Acevedo, Shubh Agrawal, Joey Velez-Ginorio, Stephanie Weirich
Effects and Coeffects in Call-By-Push-Value (Extended Version). CoRR (2023)