Recursive Modules for Programming
Recursive Modules for Programming
复制标题
用于编程的递归模块
DOI：
--
复制
发表时间：
2006
期刊：
影响因子：
--
通讯作者：
Jacques Garrigue
中科院分区：
文献类型：
--
作者：
Keiko Nakata;Jacques Garrigue
登录
查看更多内容
具有共享功能的高阶模块的类型理论方法
DOI：
10.1145/174675.176927
发表时间：
1994
期刊：
--
影响因子：
--
作者：
R. Harper;Mark Lillibridge
通讯作者：
Mark Lillibridge
DOI：
--
发表时间：
2021
期刊：
--
影响因子：
--
作者：
通讯作者：
--
私有行：抽象未命名的行
DOI：
--
发表时间：
2006
期刊：
Proceedings of the 4th Asian Symposium on Programming Languages and Systems. Springer-Verlag LNCS 4279
影响因子：
--
作者：
Keiko Nakata;Jacques Garrigue;Jacques Garrigue
通讯作者：
Jacques Garrigue
模块化模块系统
DOI：
10.1017/s0956796800003683
发表时间：
2000
期刊：
J. Funct. Program.
影响因子：
--
作者：
X. Leroy
通讯作者：
X. Leroy
什么是递归模块？
DOI：
10.1145/301618.301641
发表时间：
1999
期刊：
ArXiv
影响因子：
--
作者：
Karl Crary;R. Harper;Sidd Puri
通讯作者：
Sidd Puri