Semantics of Computational Effects and Effect Systems
Semantics of Computational Effects and Effect Systems
复制标题
计算效果和效果系统的语义
DOI：
--
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
Shin-ya Katsumata
中科院分区：
文献类型：
--
作者：
Ugo Dal Lago;Claudia Faggian;Benoit Valiron;Akira Yoshimizu;Takumi Akazaki;Shunsuke Shimizu;Shin-ya Katsumata
登录
查看更多内容
通过单元类型驯服效果
DOI：
10.1145/289423.289428
发表时间：
1998
期刊：
ACM SIGPLAN International Conference on Functional Programming
影响因子：
--
作者：
R. Kieburtz
通讯作者：
R. Kieburtz
DOI：
10.1145/234528.234736
发表时间：
1996-06
期刊：
ACM Comput. Surv.
影响因子：
--
作者：
U. Reddy
通讯作者：
U. Reddy
表示分层单子
DOI：
--
发表时间：
1999
期刊：
ACM-SIGACT Symposium on Principles of Programming Languages
影响因子：
--
作者：
Andrzej Filinski
通讯作者：
Andrzej Filinski
多态类型、区域和效应推断
影响因子：
1.1
作者：
J. Talpin;P. Jouvelot
通讯作者：
P. Jouvelot
单子和效应
DOI：
--
发表时间：
2000
期刊：
APPSEM
影响因子：
--
作者：
Nick Benton;John Hughes;E. Moggi
通讯作者：
E. Moggi