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

Roman <[email protected]>
Newsgroups gmane.comp.science.types
Message-ID <CAGg1QxGaF=Cqvw-ecL6Dua+easm=e-N2+sx8OaxNDShPMW4iWg@mail.gmail.com> 
[ 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
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.