17 citations · 45 across the 13 of their papers we have counts for
1 paper · 1 filter
Colin S. Gordon
Many forms of static reasoning about program behaviours are known in the literature, yet formal relationships are studied surprisingly infrequently. While most type systems are wel…