[TYPES] What is the state of the art of call-by-value computing?

[Frédéric Blanqui]

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