Closure Conversion, Flat Environments, and the Complexity of Abstract Machines

Beniamino Accattoli, Dan Ghica, Giulio Guerrieri +2

Closure conversion is a program transformation at work in compilers for functional languages to turn inner functions into global ones, by building closures pairing the transformed…