Cassia Torczon

According to our database, Cassia Torczon authored at least 3 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

QED in Context: An Observation Study of Proof Assistant Users.

Jessica Shi, Cassia Torczon, Harrison Goldstein, Benjamin C. Pierce, Andrew Head

Proc. ACM Program. Lang., 2025

2024

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

2023

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