Multi types and reasonable space

Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni

Accattoli, Dal Lago, and Vanoni have recently proved that the space used by the Space KAM, a variant of the Krivine abstract machine, is a reasonable space cost model for the lambd…