Gradual type theory
Gradual type theory
复制标题
渐进式理论
DOI：
10.1017/s0956796821000125
复制
发表时间：
2021
影响因子：
1.1
通讯作者：
AHMED, AMAL
中科院分区：
文献类型：
--
作者：
NEW, MAX S.;LICATA, DANIEL R.;AHMED, AMAL
登录
查看更多内容
DOI：
--
发表时间：
2016
期刊：
ACM-SIGACT Symposium on Principles of Programming Languages
影响因子：
--
作者：
M. Cimini;Jeremy G. Siek
通讯作者：
Jeremy G. Siek
DOI：
10.1007/978-3-540-73589-2_2
发表时间：
2007-07
期刊：
--
影响因子：
--
作者：
Jeremy G. Siek;Walid Taha
通讯作者：
Jeremy G. Siek;Walid Taha
抽象渐进式打字
DOI：
--
发表时间：
2016
期刊：
ACM-SIGACT Symposium on Principles of Programming Languages
影响因子：
--
作者：
Ronald Garcia;Alison M. Clark;É. Tanter
通讯作者：
É. Tanter
极化的底层会话类型
DOI：
10.1007/978-3-662-46678-0_1
发表时间：
2016
期刊：
Physical review. E, Statistical, nonlinear, and soft matter physics
影响因子：
--
作者：
F. Pfenning;Dennis Griffith
通讯作者：
Dennis Griffith
节省空间的渐进打字
DOI：
10.1007/s10990-011-9066-z
发表时间：
2010
期刊：
Higher-Order and Symbolic Computation
影响因子：
--
作者：
David Herman;Aaron Tomb;C. Flanagan
通讯作者：
C. Flanagan