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
中科院分区:
--
文献类型:
--
作者:
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
Joinads:用于反应式、并行和并发编程的可重定向控制流结构
DOI: --
发表时间: 2011
期刊: International Symposium on Practical Aspects of Declarative Languages
影响因子: --
作者:
T. Petříček;Don Syme
通讯作者: Don Syme