Inferring Region Types via an Abstract Notion of Environment Transformation.

Ulrich Schpp, Chuangjie Xu

Browse the full APLAS paper archive.