Publications
TBDDrafts
-
Effects and Coeffects in Call-By-Push-Value. Cassia Torczon, Emmanuel J. Suárez Acevedo, Shubh Agrawal, Joey Velez-Ginorio, and Stephanie Weirich.
November 2023 -
Making Logical Relations More Relatable. Emmanuel J. Suárez Acevedo and Stephanie Weirich.
September 2023