この仮想機械は当初、ラムダ計算式を評価する目的で設計されたもので、1963年PeterJ.
1963年PeterJ