Closure Conversion, Flat Environments, and the Complexity of Abstract Machines.
Beniamino Accattoli, Cludio Belo Loureno, Dan R. Ghica, Giulio Guerrieri, Claudio Sacerdoti Coen
Browse the full PPDP paper archive.
Beniamino Accattoli, Cludio Belo Loureno, Dan R. Ghica, Giulio Guerrieri, Claudio Sacerdoti Coen
Browse the full PPDP paper archive.