An approach to completing variable names for implicitly typed functional languages
An approach to completing variable names for implicitly typed functional languages
复制标题
一种为隐式类型函数语言完成变量名称的方法
DOI：
10.1007/s10990-013-9095-x
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
Takumi Goto
中科院分区：
文献类型：
--
作者：
Isao Sasano;Takumi Goto
登录
查看更多内容
ML 中的一流上下文
DOI：
10.1142/s0129054100000053
发表时间：
1998
期刊：
Int. J. Found. Comput. Sci.
影响因子：
--
作者：
M. Hashimoto
通讯作者：
M. Hashimoto
类型分配框架中的类型同构
DOI：
10.1145/143165.143208
发表时间：
1992
期刊：
--
影响因子：
--
作者：
R. D. Cosmo
通讯作者：
R. D. Cosmo
增量多态性
影响因子：
2.7
作者：
Shail Aditya;R. Nikhil
通讯作者：
R. Nikhil
隐式类型高阶语言中的类型错误切片
影响因子：
1.3
作者：
C. Haack;J. Wells
通讯作者：
J. Wells
通过多态类型检索可重用的软件组件
影响因子：
1.1
作者：
C. Runciman;I. Toyn
通讯作者：
I. Toyn