Algebraic Operations and Generic Effects

By Gordon D. Plotkin, John Power. Applied Categorical Structures, 2003

322 citations recorded by the source corpus.

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

Free-Algebra Models for the pi-Calculus (2005, methodology): “Our method builds on a recent line of research by Plotkin and Power who use algebraic theories in enriched categories to capture “notions of computation”, in particular Moggi’s computational monads[18, 26, 27, 28 ].”
Handlers in action (2013, background): “ôp x underlying a direct-style application the generic effect of op [35].”
Handlers of Algebraic Effects (2009, background): “algebraic operation; such families are characterised by a certain naturality condition [5].”