Re: [TYPES] What is the state of the art of call-by-value computing?
Frédéric Blanqui <[email protected]>
| Newsgroups | gmane.comp.science.types |
|---|---|
| Message-ID | <[email protected]> |
[ 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