From push/enter to eval/apply by program transformation (Proceedings of the Workshop on Continuations (WoC 2015), 2015)

(untitled) - Pirog, M; Gibbons, J