2 ms·Xavier Leroy's FP course: operational semantics, abstract machines /compilation, 5 points by gtani 18y ago