[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
great.

Thank you.

Best regards,
Roman


More information about the Types-list mailing list