12 citations · 13 across the 2 of their papers we have counts for
1 paper · 1 filter
Edward Lee, Yaoyu Zhao, James You +3
Type qualifiers offer a lightweight mechanism for enriching existing type systems to enforce additional, desirable, program invariants. They do so by offering a restricted but effe…