Polymorphic Multi-Stage Languagewith Control Effects
Polymorphic Multi-Stage Languagewith Control Effects
复制标题
具有控制效果的多态多级语言
DOI：
--
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
Yukiyoshi Kameyama
中科院分区：
文献类型：
--
作者：
Yuichiro Kokaji;Yukiyoshi Kameyama
登录
查看更多内容
结合时间分析的时间逻辑方法
DOI：
--
发表时间：
1995
期刊：
Proceedings 11th Annual IEEE Symposium on Logic in Computer Science
影响因子：
--
作者：
Rowan Davies
通讯作者：
Rowan Davies
类 lisp 多阶段语言的多态模态类型系统
DOI：
10.1145/1111037.1111060
发表时间：
2006
期刊：
SIGACT News
影响因子：
--
作者：
Ik;K. Yi;Cristiano Calcagno
通讯作者：
Cristiano Calcagno
代表单子
DOI：
10.1145/174675.178047
发表时间：
1994
期刊：
SSRN Electronic Journal
影响因子：
--
作者：
Andrzej Filinski
通讯作者：
Andrzej Filinski
抽象控制
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.1007/978-3-540-88643-3_6
发表时间：
2007
期刊：
Generative and Transformational Techniques in Software Engineering
影响因子：
--
作者：
Walid Taha
通讯作者：
Walid Taha