Private rows : abstracting the unnamed
Private rows : abstracting the unnamed
复制标题
私有行：抽象未命名的行
DOI：
--
复制
发表时间：
2006
期刊：
影响因子：
--
通讯作者：
Jacques Garrigue
中科院分区：
文献类型：
--
作者：
Keiko Nakata;Jacques Garrigue;Jacques Garrigue
登录
查看更多内容
用于编程的递归模块
DOI：
--
发表时间：
2006
期刊：
Proceedings of the 11^<th> ACM SIGPLAN International Conference on Functional Programming
影响因子：
--
作者：
Keiko Nakata;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
$mathscr{L} = mathscr{N} mathscr{L}$?
DOI：
--
发表时间：
1986
期刊：
影响因子：
--
作者：
B. Poizat
通讯作者：
B. Poizat
Objective ML：ML 的有效的面向对象扩展
DOI：
10.1002/(sici)1096-9942(1998)4:1
发表时间：
1998
期刊：
Theory Pract. Object Syst.
影响因子：
--
作者：
Didier Rémy;Jérôme Vouillon
通讯作者：
Jérôme Vouillon