×

zbMATH — the first resource for mathematics

Varieties of effects. (English) Zbl 1077.68554
Nielsen, Mogens (ed.) et al., Foundations of software science and computation structures. 5th international conference, FOSSACS 2002, held as part of the joint European conferences on theory and practice of software, ETAPS 2002, Grenoble, France, April 8–12, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43366-X). Lect. Notes Comput. Sci. 2303, 144-158 (2002).
Summary: 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.
For the entire collection see [Zbl 0989.00051].

MSC:
68N15 Theory of programming languages
68N18 Functional programming and lambda calculus
PDF BibTeX XML Cite
Full Text: Link