Notions of Computation Determine Monads

Gordon Plotkin, John Power

Research output: Chapter in Book/Report/Conference proceedingConference contribution


We model notions of computation using algebraic operations and equations. We show that these generate several of the monads of primary interest that have been used to model computational effects, with the striking omission of the continuations monad. We focus on semantics for global and local state, showing that taking operations and equations as primitive yields a mathematical relationship that reflects their computational relationship.
Original languageEnglish
Title of host publicationFoundations of Software Science and Computation Structures
Subtitle of host publication5th 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
EditorsMogens Nielsen, Uffe Engberg
Place of PublicationBerlin, Heidelberg
PublisherSpringer Berlin Heidelberg
Number of pages15
ISBN (Electronic)978-3-540-45931-6
ISBN (Print)978-3-540-43366-8
Publication statusPublished - 2002

Fingerprint Dive into the research topics of 'Notions of Computation Determine Monads'. Together they form a unique fingerprint.

Cite this