Hi all, there are plenty of machines that allow to evaluate terms in a call-by-value language: CEK, CESK, KAM, Zinc, etc. Is there any overview that says which machine to choose for your particular setup? Any efficiency evaluation of various machines? Benchmarks would be great. Thank you. Best regards, Roman