Automatically assigned DDC number: 005114
Manually assigned DDC number: 005114
Title: Combining Monads
Author:
Author:
Subject: David J. King,Philip Wadler Combining Monads
Description: Monads provide a way of structuring functional programs. Most real applications require a combination of primitive monads. Here we describe how some monads may be combined with others to yield a combined monad. 1 Introduction Monads are taking root in the field of functional programming. Although their origins lay in the abstractions of category theory, they have a wide range of practical applications. Moggi [6] showed how they could be used to structure the semantics of computations. Since then Wadler [9, 10] adapted this idea to structure functional programs. When structuring functional programs like parsers, type checkers or interpreters, it is often the case that the monad needed is a combination of many, a so called combined monad. For our purposes, we will think of a monad as a type constructor, together with three functions that must satisfy certain laws. For instance, we may have an interpreter and wish it to return, not just a value, but the number of reduction steps taken t...
Contributor: The Pennsylvania State University CiteSeer Archives
Publisher: unknown
Date: 1998-05-07
Pubyear: 1992
Format: ps
Identifier: http://citeseer.ist.psu.edu/140190.html
Source: http://mcs.open.ac.uk/djk26/publications/combining-monads.ps.gz
Language: en
Rights: unrestricted
<?xml version="1.0" encoding="UTF-8"?>
<references_metadata>
<rec ID="SELF" Type="SELF" CiteSeer_Book="SELF" CiteSeer_Volume="SELF" Title="Combining Monads">
<identifier Org="ISBN:0596514980" Paper_ID="SELF" Extracted="0596514980" DDC="005.114" Normalized_DDC="005114" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:1402000669" Paper_ID="SELF" Extracted="1402000669" DDC="142/.7" Normalized_DDC="1427" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540198202" Paper_ID="SELF" Extracted="3540198202" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540253882" Paper_ID="SELF" Extracted="3540253882" DDC="004" Normalized_DDC="004" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540416552" Paper_ID="SELF" Extracted="3540416552" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540433813" Paper_ID="SELF" Extracted="3540433813" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540552510" Paper_ID="SELF" Extracted="3540552510" DDC="511/.5" Normalized_DDC="5115" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:354056943X" Paper_ID="SELF" Extracted="354056943X" DDC="004.2/1" Normalized_DDC="00421" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540578870" Paper_ID="SELF" Extracted="3540578870" DDC="005.1/01/5113" Normalized_DDC="0051015113" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540594515" Paper_ID="SELF" Extracted="3540594515" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:354060359X" Paper_ID="SELF" Extracted="354060359X" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540610553" Paper_ID="SELF" Extracted="3540610553" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540649255" Paper_ID="SELF" Extracted="3540649255" DDC="005.4/53" Normalized_DDC="005453" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540732276" Paper_ID="SELF" Extracted="3540732276" />
<identifier Org="ISBN:3540767851" Paper_ID="SELF" Extracted="3540767851" />
<identifier Org="ISBN:3642005896" Paper_ID="SELF" Extracted="3642005896" />
</rec>
</references_metadata>