4 citations · 11 across the 4 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.PL2023★ 4 cited
Effects and Coeffects in Call-By-Push-Value (Extended Version)
Cassia Torczon, Emmanuel Suárez Acevedo, Shubh Agrawal +2
Effect and coeffect tracking integrate many types of compile-time analysis, such as cost, liveness, or dataflow, directly into a language's type system. In this paper, we investiga…
cs.PL2023★ 1 cited
Making Logical Relations More Relatable (Proof Pearl)
Emmanuel Suárez Acevedo, Stephanie Weirich
Mechanical proofs by logical relations often involve tedious reasoning about substitution. In this paper, we show that this is not necessarily the case, by developing, in Agda, a p…