Inferring region types via an abstract notion of environment transformation. (English) Zbl 1524.68101
Sergey, Ilya (ed.), Programming languages and systems. 20th Asian symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13658, 45-64 (2022).