Extracting Environments from Function Closures. - Shin-ya Nishizaki; Yuta Takayanagi (ICSCA, 2022)