Varieties of Effects
Varieties of Effects
复制标题
各种效果
DOI：
10.1007/3-540-45931-6_11
复制
发表时间：
2002
影响因子：
6.2
通讯作者：
Carsten Führmann
中科院分区：
文献类型：
--
作者：
Carsten Führmann
我们引入了effectoid的概念作为公理化“计算效果”的概念的一种方式。在经典代数的指导下，我们从方程上定义了几个效应面，并探讨了它们之间的关系。我们证明了它们的计算相关性，将其应用到全球异常，异常，延续和全球状态。
We introduce the notion of effectoid as a way of axiomatising the notion of "computational effect". Guided by classical algebra, we define several effectoids equationally and explore their relationship with each other. We demonstrate their computational relevance by applying them to global exceptions, partiality, continuations, and global state.