Refinement Types for Ruby
Refinement Types for Ruby
复制标题
Ruby 的细化类型
DOI：
--
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Torlak, Emina
中科院分区：
文献类型：
--
作者：
Kazerounian, Milod;Vazou, Niki;Bourgerie, Austin;Foster, Jeff;Torlak, Emina
登录
查看更多内容
TypeScript 的细化类型
DOI：
10.1145/2908080.2908110
发表时间：
2016
期刊：
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation
影响因子：
--
作者：
Panagiotis Vekris;B. Cosman;Ranjit Jhala
通讯作者：
Ranjit Jhala
DOI：
10.1007/978-3-540-31987-0_28
发表时间：
2005-04
期刊：
--
影响因子：
--
作者：
Peter Thiemann
通讯作者：
Peter Thiemann
DOI：
10.1145/2980983.2908091
发表时间：
2015
期刊：
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation
影响因子：
--
作者：
A. Kent;D. Kempe;Sam Tobin
通讯作者：
Sam Tobin
动态语言的即时静态类型检查
DOI：
10.1145/2908080.2908127
发表时间：
2016
期刊：
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation
影响因子：
--
作者：
Brianna M. Ren;J. Foster
通讯作者：
J. Foster
JSketch：Java 草图
DOI：
--
发表时间：
2015
期刊：
ESEC/SIGSOFT FSE
影响因子：
--
作者：
Jinseong Jeon;Xiaokang Qiu;J. Foster;Armando Solar
通讯作者：
Armando Solar