11 citations · 35 across the 11 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…