Xavier Leroy's FP course: operational semantics, abstract machines /compilation, gallium.inria.fr5 pointsgtani18 years ago