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

Graph

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

www.000webhost.com