Gradual Typing for Extensibility by Rows
Gradual Typing for Extensibility by Rows
复制标题
逐行扩展的渐进式打字
DOI：
--
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
Atsushi Igarashi
中科院分区：
文献类型：
--
作者：
Taro Sekiyama;Atsushi Igarashi
登录
查看更多内容
使用多态变体进行编程
DOI：
--
发表时间：
2010
期刊：
--
影响因子：
--
作者：
Jacques Garrigue
通讯作者：
Jacques Garrigue
分隔连续的渐进式键入
DOI：
--
发表时间：
2016
期刊：
影响因子：
--
作者：
Yusuke Miyazaki;Taro Sekiyama;Atsushi Igarashi
通讯作者：
Atsushi Igarashi
简单对象的完整类型推断
DOI：
--
发表时间：
1987
期刊：
Logic in Computer Science
影响因子：
--
作者：
M. Wand
通讯作者：
M. Wand
抽象渐进式打字
DOI：
--
发表时间：
2016
期刊：
ACM-SIGACT Symposium on Principles of Programming Languages
影响因子：
--
作者：
Ronald Garcia;Alison M. Clark;É. Tanter
通讯作者：
É. Tanter
DOI：
10.1007/978-3-540-73589-2_2
发表时间：
2007-07
期刊：
--
影响因子：
--
作者：
Jeremy G. Siek;Walid Taha
通讯作者：
Jeremy G. Siek;Walid Taha