A modular module system

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.

• Type: Journal
• Year: 2000
• Where: JFP
• Authors: Xavier Leroy
• Keywords: Implementation, JFP 2000, Simple Implementation, SML-like Module