Исправление tailgunner, 08.05.16 15:58 (текущая версия) :
TaPL
Modern compiler implementation in ML
Пока думаю jvm или трансляция в js.
Давай сразу в WebAssembly
Исходная версия tailgunner, 08.05.16 15:57: