10 citations · 21 across the 3 of their papers we have counts for
1 paper · 1 filter
Ulrich Schöpp, Chuangjie Xu
Region-based type systems are a powerful tool for various kinds of program analysis. We introduce a new inference algorithm for region types based on an abstract notion of environm…