The (In)Efficiency of Interaction

Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni

Evaluating higher-order functional programs through abstract machines inspired by the geometry of the interaction is known to induce $\text{space}$ efficiencies, the price being…