Emmanuel Suárez Acevedo

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 2

Top Topics

Logical Representation

Top Venues

Publications

Cassia Torczon, Emmanuel Suárez Acevedo, Shubh Agrawal, Joey Velez-Ginorio, Stephanie Weirich
Effects and Coeffects in Call-By-Push-Value (Extended Version). CoRR (2023)
Emmanuel Suárez Acevedo, Stephanie Weirich
Making Logical Relations More Relatable (Proof Pearl). CoRR (2023)