10 citations · 11 across the 2 of their papers we have counts for
1 paper · 2 filters
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…