Research

Notions of computation determine monads


Reference:

Plotkin, G. and 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. Berlin: Springer, pp. 342-356. (Lecture Notes in Computer Science)

Related documents:

This repository does not currently have the full-text of this item.
You may be able to access a copy if URLs are provided below.

Official URL:

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

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.

Details

Item Type Book Sections
CreatorsPlotkin, G.and Power, J.
DOI10.1007/3-540-45931-6_24
DepartmentsFaculty of Science > Computer Science
StatusPublished
ID Code5569
Additional InformationGrenoble 2002

Export

Actions (login required)

View Item