Fully-parameterized, first-class modules with hygienic macros, dissertation by Martin Gasbichler, 2006. It is possible to define a formal semantics for configuration, elaboration, linking, and evaluation of fully-parameterized first-class modules ...
Sigue leyendo