A modular module system
A modular module system
复制标题
模块化模块系统
DOI：
10.1017/s0956796800003683
复制
发表时间：
2000
期刊：
影响因子：
--
通讯作者：
X. Leroy
中科院分区：
文献类型：
--
作者：
X. Leroy
简单的实现类似于SML的模块系统是由基本语言及其类型检查器进行参数的模块。该模块系统适用于多种编程语言的适用性的建设性证明。
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.