TY  - RPRT
TI  - Effects and Coeffects in Call-By-Push-Value (Extended Version)
AU  - Cassia Torczon
AU  - Emmanuel Suárez Acevedo
AU  - Shubh Agrawal
AU  - Joey Velez-Ginorio
AU  - Stephanie Weirich
PY  - 2024
DO  - 10.1145/3689750
UR  - https://arxiv.org/abs/2311.11795
ID  - 2311.11795
ER  -