17 citations · 45 across the 13 of their papers we have counts for
1 paper · 1 filter
Colin S. Gordon
Effect systems are lightweight extensions to type systems that can verify a wide range of important properties with modest developer burden. But our general understanding of effect…