Inferring Region Types via an Abstract Notion of Environment Transformation

Ulrich Schöpp and Chuangjie Xu

Asian Symposium on Programming Languages and Systems (APLAS 2022),

September 2022