Which of [push/enter or eval/apply] is best in practice? … The choice of evaluation model affects many other … There are lots of nitty-gritty details here, for … details is one of our main contributions. … [p. 5] The choice between push/enter and eval/apply is … [p. 14] Somewhat to our surprise, there is only … runtime on average. … benchmarks which perform a large number of updates … Heap allocation is largely unaffected by the change … [p. 15] for a high-performance, compiled implementation of a … performance grounds, and eval/apply makes it noticeably easier … Many of the complexities of push/enter are caused … may well be a more elegant solution.
Google-1
Google-2
Copyright clearance needed for quotation.