Publications

• Effects and Coeffects in Call-By-Push-Value
  Cassia Torczon, Emmanuel J. Suárez Acevedo, Shubh Agrawal, Joey Velez-Ginorio, and Stephanie Weirich
  OOPSLA 2024
  [arXiv] [code] [slides]

Drafts

• Making Logical Relations More Relatable
  Emmanuel J. Suárez Acevedo and Stephanie Weirich
  September 2023