Notions of computation determine monads

Gordon Plotkin, John Power

Research output: Chapter in Book/Report/Conference proceedingChapter

137 Citations (Scopus)

Abstract

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 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
Place of PublicationBerlin
PublisherSpringer
Pages342-356
Number of pages15
Volume2303
DOIs
Publication statusPublished - 2002

Publication series

NameLecture Notes in Computer Science
PublisherSpringer

Fingerprint

Monads
Models of Computation
Computational Model
Continuation
Relationships
Semantics

Cite this

Plotkin, G., & Power, J. (2002). Notions of computation determine monads. In 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 (Vol. 2303, pp. 342-356). (Lecture Notes in Computer Science). Berlin: Springer. https://doi.org/10.1007/3-540-45931-6_24

Notions of computation determine monads. / Plotkin, Gordon; Power, John.

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. Vol. 2303 Berlin : Springer, 2002. p. 342-356 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingChapter

Plotkin, G & Power, J 2002, Notions of computation determine monads. in 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. vol. 2303, Lecture Notes in Computer Science, Springer, Berlin, pp. 342-356. https://doi.org/10.1007/3-540-45931-6_24
Plotkin G, Power J. Notions of computation determine monads. In 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. Vol. 2303. Berlin: Springer. 2002. p. 342-356. (Lecture Notes in Computer Science). https://doi.org/10.1007/3-540-45931-6_24
Plotkin, Gordon ; Power, John. / Notions of computation determine monads. 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. Vol. 2303 Berlin : Springer, 2002. pp. 342-356 (Lecture Notes in Computer Science).
@inbook{0c7ca2b7b5d947b79efc60b6e07453d4,
title = "Notions of computation determine monads",
abstract = "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.",
author = "Gordon Plotkin and John Power",
note = "Grenoble 2002",
year = "2002",
doi = "10.1007/3-540-45931-6_24",
language = "English",
volume = "2303",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "342--356",
booktitle = "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",

}

TY - CHAP

T1 - Notions of computation determine monads

AU - Plotkin, Gordon

AU - Power, John

N1 - Grenoble 2002

PY - 2002

Y1 - 2002

N2 - 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.

AB - 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.

UR - http://dx.doi.org/10.1007/3-540-45931-6_24

U2 - 10.1007/3-540-45931-6_24

DO - 10.1007/3-540-45931-6_24

M3 - Chapter

VL - 2303

T3 - Lecture Notes in Computer Science

SP - 342

EP - 356

BT - 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

PB - Springer

CY - Berlin

ER -