Type-Safe Multi-Stage Programming with Control
Type-Safe Multi-Stage Programming with Control
复制标题
带控制的类型安全多阶段编程
DOI：
--
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
Yukiyoshi Kameyama
中科院分区：
文献类型：
--
作者：
薄井千春;亀山幸義;Yukiyoshi Kameyama
登录
查看更多内容
结合时间分析的时间逻辑方法
DOI：
--
发表时间：
1995
期刊：
Proceedings 11th Annual IEEE Symposium on Logic in Computer Science
影响因子：
--
作者：
Rowan Davies
通讯作者：
Rowan Davies
抽象控制
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
子类型化分隔延续
DOI：
10.1145/2034773.2034786
发表时间：
2011
期刊：
Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
影响因子：
--
作者：
Marek Materzok;Dariusz Biernacki
通讯作者：
Dariusz Biernacki
用于生成不纯净但卫生的代码的组合器
影响因子：
1.3
作者：
Yukiyoshi Kameyama;Oleg Kiselyov;Chung-chieh Shan
通讯作者：
Chung-chieh Shan
BER MetaOCaml 的设计与实现 - 系统描述
DOI：
10.1007/978-3-319-07151-0_6
发表时间：
2014
期刊：
J. ACM
影响因子：
--
作者：
O. Kiselyov
通讯作者：
O. Kiselyov