## Modular Modules

> A simple implementation of an SML-like module system is presented as a module parameterized by a base language and its type-checker.
>
> https://xavierleroy.org/publi/modular-modules-jfp.pdf