4 citations · 4 across the 1 of their papers we have counts for
1 paper
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…