1 citations · 1 across the 1 of their papers we have counts for
1 paper
Guannan Wei, Oliver Bračevac, Songlin Jia +2
Reachability types are a recent proposal that has shown promise in scaling to higher-order but monomorphic settings, tracking aliasing and separation on top of a substrate inspired…