Handling Algebraic Effects

Algebraic effects are computational effects that can be represented by an equational theory whose operations produce the effects at hand. The free model of this theory induces the expected computational monad for the corresponding effect. Algebraic effects include exceptions, state, nondeterminism,...

Full description

Bibliographic Details

Published in:	Logical methods in computer science Vol. 9, Issue 4
Main Authors:	Plotkin, Gordon D, Pretnar, Matija
Format:	Journal Article
Language:	English
Published:	Logical Methods in Computer Science e.V 17.12.2013
Subjects:	computer science - logic in computer science computer science - programming languages
ISSN:	1860-5974, 1860-5974
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!