umu.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
A graphical approach to monad composition
Umeå University, Faculty of Science and Technology, Department of Computing Science.
Umeå University, Faculty of Science and Technology, Department of Computing Science.
Show others and affiliations
2001 (English)In: Electronical Notes in Theoretical Computer Science, ISSN 1571-0661, E-ISSN 1571-0661, Vol. 40, 145-160 p.Article in journal (Refereed) Published
Abstract [en]

In this paper we show how composite expressions involving natural transformations can be pictorially represented in order to provide graphical proof support for providing monad compositions. Examples are drawn using powerset monads composed with the term monad.

Place, publisher, year, edition, pages
2001. Vol. 40, 145-160 p.
National Category
Computer Science
Identifiers
URN: urn:nbn:se:umu:diva-80607DOI: 10.1016/S1571-0661(05)80041-6OAI: oai:DiVA.org:umu-80607DiVA: diva2:650505
Conference
MFCSIT2000, The First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology
Available from: 2013-09-22 Created: 2013-09-22 Last updated: 2017-12-06Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full text

Authority records BETA

Eklund, Patrik

Search in DiVA

By author/editor
Eklund, PatrikGalán, M.A.
By organisation
Department of Computing Science
In the same journal
Electronical Notes in Theoretical Computer Science
Computer Science

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 38 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf