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

Effects and Coeffects in Call-by-Push-Value. - Cassia Torczon; Emmanuel Suárez Acevedo; Shubh Agrawal; Joey Velez-Ginorio; Stephanie Weirich (Proc. ACM Program. Lang., 2024)

QED in Context: An Observation Study of Proof Assistant Users. - Jessica Shi 002; Cassia Torczon; Harrison Goldstein; Benjamin C. Pierce; Andrew Head (Proc. ACM Program. Lang., 2025)