INRIA Rocquencourt, B.P. 105, 78153 Le Chesnay, France
SVM HeaderParse 0.1
A simple implementation of an SML-like module system is presented as a module parameterized by a base language and its type-checker. This implementation is useful both as a detailed tutorial on the Harper-Lillibridge-Leroy module system and its implementation, and as a constructive demonstration of the applicability of that module system to a wide range of programming languages.