Gradual typing for delimited continuations
Gradual typing for delimited continuations
复制标题
分隔连续的渐进式键入
DOI：
--
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
Atsushi Igarashi
中科院分区：
文献类型：
--
作者：
Yusuke Miyazaki;Taro Sekiyama;Atsushi Igarashi
登录
查看更多内容
用于定界延续的子结构类型系统
DOI：
--
发表时间：
2007
期刊：
International Conference on Typed Lambda Calculus and Applications
影响因子：
--
作者：
O. Kiselyov;Chung
通讯作者：
Chung
DOI：
--
发表时间：
1983
期刊：
--
影响因子：
--
作者：
Roshan P. James;A. Sabry
通讯作者：
A. Sabry
DOI：
10.1007/978-3-540-73589-2_2
发表时间：
2007-07
期刊：
--
影响因子：
--
作者：
Jeremy G. Siek;Walid Taha
通讯作者：
Jeremy G. Siek;Walid Taha
使用连续标记对堆栈进行可移植和高级访问
DOI：
--
发表时间：
2006
期刊：
影响因子：
--
作者：
John Clements
通讯作者：
John Clements
控制分隔符及其层次结构
DOI：
10.1007/bf01806126
发表时间：
1990
期刊：
LISP and Symbolic Computation
影响因子：
--
作者：
Dorai Sitaram;M. Felleisen
通讯作者：
M. Felleisen