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

Roman effectfully at gmail.com
Sun Jul 8 12:39:37 EDT 2018

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

Thank you.

Best regards,

More information about the Types-list mailing list