Answer-Type Modification without Tears: Prompt-Passing Style Translation for Typed Delimited-Control Operators
Answer-Type Modification without Tears: Prompt-Passing Style Translation for Typed Delimited-Control Operators
复制标题
无泪的答案类型修改：类型化分隔控制运算符的提示传递风格翻译
DOI：
--
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
Oleg Kiselyov
中科院分区：
文献类型：
--
作者：
Ikuo Kobori;Yukiyosih Kameyama;Oleg Kiselyov
登录
查看更多内容
类型化无标签最终解释器
DOI：
10.1007/978-3-642-32202-0_3
发表时间：
2010
期刊：
ArXiv
影响因子：
--
作者：
O. Kiselyov
通讯作者：
O. Kiselyov
类机器学习语言中异常和控制的概括
DOI：
10.1145/224164.224173
发表时间：
1995
期刊：
Proceedings of the 2018 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software
影响因子：
--
作者：
Carl A. Gunter;Didier Rémy;J. Riecke
通讯作者：
J. Riecke
抽象控制
DOI：
10.1145/91556.91622
发表时间：
1990
期刊：
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation
影响因子：
--
作者：
O. Danvy;Andrzej Filinski
通讯作者：
Andrzej Filinski
OCaml 中的分隔控制，抽象和具体
DOI：
10.1016/j.tcs.2012.02.025
发表时间：
2012
期刊：
Theor. Comput. Sci.
影响因子：
--
作者：
O. Kiselyov
通讯作者：
O. Kiselyov
类型化分隔控制运算符的基于上下文的终止证明
DOI：
10.1145/1599410.1599446
发表时间：
2009
期刊：
--
影响因子：
--
作者：
Małgorzata Biernacka;Dariusz Biernacki
通讯作者：
Dariusz Biernacki