Algebraic effects and effect handlers for idioms and arrows
Algebraic effects and effect handlers for idioms and arrows
复制标题
习语和箭头的代数效应和效果处理程序
DOI：
10.1145/2633628.2633636
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
Lindley S
中科院分区：
文献类型：
--
作者：
Lindley S
Plotkin和Power的代数效果与Plotkin和Pretnar的效果处理程序相结合，为效果的模块化编程提供了基础。我们提出了一个概括的代数效果和效果处理程序，以支持其他种类的有效计算相应的麦克布赖德和帕特森的成语和休斯的箭头。
Plotkin and Power's algebraic effects combined with Plotkin and Pretnar's effect handlers provide a foundation for modular programming with effects. We present a generalisation of algebraic effects and effect handlers to support other kinds of effectful computations corresponding to McBride and Paterson's idioms and Hughes' arrows.
登录
查看更多内容
DOI：
--
发表时间：
2001
期刊：
Mathematical Foundations of Programming Semantics
影响因子：
--
作者：
G. Plotkin;J. Power
通讯作者：
J. Power
处理程序在行动
DOI：
10.1145/2500365.2500590
发表时间：
2013
期刊：
--
影响因子：
--
作者：
Kammar O
通讯作者：
Kammar O
正在考虑在《J.函数式编程》中发表《箭头微积分》
DOI：
--
发表时间：
--
期刊：
影响因子：
--
作者：
Sam Lindley;P. Wadler;J. Yallop
通讯作者：
J. Yallop
成语是疏忽的，箭头是细致的，单子是杂乱的
DOI：
--
发表时间：
2011
期刊：
MSFP@ICALP
影响因子：
--
作者：
S. Lindley;P. Wadler;J. Yallop
通讯作者：
J. Yallop
组合器解析：简短教程
DOI：
--
发表时间：
2009
期刊：
LerNet ALFA Summer School
影响因子：
--
作者：
S. D. Swierstra
通讯作者：
S. D. Swierstra