[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
See for instance: B. Accattoli, B. Barras. Environments and the Complexity of Abstract Machines <https://sites.google.com/site/beniaminoaccattoli/Accattoli%2C%20Barras%20-%20Environments%20and%20the%20Complexity%20of%20Abstract%20Machines.pdf?attredirects=0>. /PPDP 2017/.
Le 08/07/2018 à 18:39, Roman a écrit :
[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ] 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