Call-by-need effects via coeffects
Call-by-need effects via coeffects
复制标题
通过协同效应按需调用效果
DOI:
10.1515/comp-2018-0009
复制
发表时间:
2018
影响因子:
1.5
通讯作者:
McDermott D
中科院分区:
文献类型:
--
作者:
McDermott D
登录
查看更多内容
DOI:
10.1145/2951913.2951939
发表时间:
2016
期刊:
--
影响因子:
--
作者:
Gaboardi M
通讯作者:
Gaboardi M
DOI:
--
发表时间:
1980
期刊:
Symposium on Programming
影响因子:
--
作者:
A. Mycroft
通讯作者:
A. Mycroft
DOI:
--
发表时间:
2014
期刊:
ACM SIGPLAN International Conference on Functional Programming
影响因子:
--
作者:
T. Petříček;Dominic A. Orchard;A. Mycroft
通讯作者:
A. Mycroft
DOI:
--
发表时间:
2010
期刊:
Sensors Applications Symposium
影响因子:
--
作者:
Tom Schrijvers;A. Mycroft
通讯作者:
A. Mycroft
DOI:
--
发表时间:
2011
期刊:
International Symposium on Practical Aspects of Declarative Languages
影响因子:
--
作者:
T. Petříček;Don Syme
通讯作者:
Don Syme