Making Logical Relations More Relatable (Proof Pearl). - Emmanuel Suárez Acevedo; Stephanie Weirich (CoRR, 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)

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)