Automatically assigned DDC number: 005115

Manually assigned DDC number: 005115

Number of references: 8

Title: Promotional Transformation of Monadic Programs

Author:

Author:

Subject: Zhenjiang Hu,Hideya Iwasaki Promotional Transformation of Monadic Programs

Description: Monads are becoming an increasingly important tool for structural functional programming, because they provide a uniform framework for describing a wide range of programming language features. To facilitate program transformation, Fokkinga derived a sufficient assumption under which there is a kind of socalled monadic catamorphisms which satisfy several general laws useful for the transformation of monadic programs. However, his theory is too restrictive to be applied. In this paper, we propose a new theory on monadic catamorphism by moving Fokkinga's assumption on the monad to the condition on a map between monadic algebras so that our theory is valid for arbitrary monads including, for example, the state monad that is not allowed in Fokkinga's theory. Our theory covers Fokkinga's as a special case but can be applied to a wider class of monadic programs. Many examples will be used to illustrate our idea. 1. Introduction Monads 15;19 are becoming an increasingly important tool for s...

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 1996-01-11

Pubyear: 1995

Format: ps

Identifier: http://citeseer.ist.psu.edu/147178.html

Source: http://www.ipl.t.u-tokyo.ac.jp/~hu/pub/Fuji95.ps.gz

Language: en

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Rights: unrestricted

Graph

<?xml   version="1.0"   encoding="UTF-8"?>

<references_metadata>

      <rec   ID="/57393.html"   Type="techreport"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Monadic   Maps   and   Folds   for   Arbitrary   Datatypes,">

            <identifier   Org="ISBN:3540168494"   Paper_ID="/57393.html"   Extracted="3540168494"   />

            <identifier   Org="ISBN:3540223800"   Paper_ID="/57393.html"   Extracted="3540223800"   DDC="004.2/1/0151"   Normalized_DDC="004210151"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540285407"   Paper_ID="/57393.html"   Extracted="3540285407"   DDC="005.1/14"   Normalized_DDC="005114"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:354042959X"   Paper_ID="/57393.html"   Extracted="354042959X"   DDC="620.00420285"   Normalized_DDC="62000420285"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540594515"   Paper_ID="/57393.html"   Extracted="3540594515"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540617566"   Paper_ID="/57393.html"   Extracted="3540617566"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540662413"   Paper_ID="/57393.html"   Extracted="3540662413"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540669922"   Paper_ID="/57393.html"   Extracted="3540669922"   />

            <identifier   Org="ISBN:3540677275"   Paper_ID="/57393.html"   Extracted="3540677275"   DDC="004.2/1/0151"   Normalized_DDC="004210151"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540767851"   Paper_ID="/57393.html"   Extracted="3540767851"   />

            <identifier   Org="ISBN:9031319791"   Paper_ID="/57393.html"   Extracted="9031319791"   />

      </rec>

      <rec   ID="/14640.html"   Type="inproceedings"   CiteSeer_Book="Functional   Programming   Workshops   in   Computing   Proceedings"   CiteSeer_Volume=""   Title="Combining   Monads,">

            <identifier   Org="ISBN:0596514980"   Paper_ID="/14640.html"   Extracted="0596514980"   />

            <identifier   Org="ISBN:1402000669"   Paper_ID="/14640.html"   Extracted="1402000669"   DDC="142/.7"   Normalized_DDC="1427"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540198202"   Paper_ID="/14640.html"   Extracted="3540198202"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540253882"   Paper_ID="/14640.html"   Extracted="3540253882"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540416552"   Paper_ID="/14640.html"   Extracted="3540416552"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540433813"   Paper_ID="/14640.html"   Extracted="3540433813"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540552510"   Paper_ID="/14640.html"   Extracted="3540552510"   DDC="511/.5"   Normalized_DDC="5115"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:354056943X"   Paper_ID="/14640.html"   Extracted="354056943X"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540578870"   Paper_ID="/14640.html"   Extracted="3540578870"   DDC="005.1/01/5113"   Normalized_DDC="0051015113"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540594515"   Paper_ID="/14640.html"   Extracted="3540594515"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:354060359X"   Paper_ID="/14640.html"   Extracted="354060359X"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540610553"   Paper_ID="/14640.html"   Extracted="3540610553"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540649255"   Paper_ID="/14640.html"   Extracted="3540649255"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540732276"   Paper_ID="/14640.html"   Extracted="3540732276"   />

            <identifier   Org="ISBN:3540767851"   Paper_ID="/14640.html"   Extracted="3540767851"   />

            <identifier   Org="ISBN:3642005896"   Paper_ID="/14640.html"   Extracted="3642005896"   />

      </rec>

      <rec   ID="/14178.html"   Type="inproceedings"   CiteSeer_Book="Conference   record   of   POPL   95   22nd   ACM   SIGPLANSIGACT   Symposium   on   Principles   of   Programming   Languages   San   Francisco   California   January   2225   1995"   CiteSeer_Volume=""   Title="Monad   transformers   and   modular   interpreters,">

            <identifier   Org="ISBN:0262620995"   Paper_ID="/14178.html"   Extracted="0262620995"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540291385"   Paper_ID="/14178.html"   Extracted="3540291385"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540411720"   Paper_ID="/14178.html"   Extracted="3540411720"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:354042959X"   Paper_ID="/14178.html"   Extracted="354042959X"   DDC="620.00420285"   Normalized_DDC="62000420285"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540433813"   Paper_ID="/14178.html"   Extracted="3540433813"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540437592"   Paper_ID="/14178.html"   Extracted="3540437592"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540438572"   Paper_ID="/14178.html"   Extracted="3540438572"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540440445"   Paper_ID="/14178.html"   Extracted="3540440445"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540594515"   Paper_ID="/14178.html"   Extracted="3540594515"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540610553"   Paper_ID="/14178.html"   Extracted="3540610553"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540647376"   Paper_ID="/14178.html"   Extracted="3540647376"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540649255"   Paper_ID="/14178.html"   Extracted="3540649255"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540650121"   Paper_ID="/14178.html"   Extracted="3540650121"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540656995"   Paper_ID="/14178.html"   Extracted="3540656995"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540669922"   Paper_ID="/14178.html"   Extracted="3540669922"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540676600"   Paper_ID="/14178.html"   Extracted="3540676600"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540679588"   Paper_ID="/14178.html"   Extracted="3540679588"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540705937"   Paper_ID="/14178.html"   Extracted="3540705937"   />

      </rec>

      <rec   ID="/61982.html"   Type="incollection"   CiteSeer_Book="Tutorial   Text   1st   Int   Spring   School   on   Advanced   Functional   Programming   Techniques   Baastad   Sweden   2430   May   1995"   CiteSeer_Volume=""   Title="Merging   Monads   and   Folds   for   Functional   Programming,">

            <identifier   Org="ISBN:1581136285"   Paper_ID="/61982.html"   Extracted="1581136285"   />

            <identifier   Org="ISBN:3540285407"   Paper_ID="/61982.html"   Extracted="3540285407"   DDC="005.1/14"   Normalized_DDC="005114"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:354042959X"   Paper_ID="/61982.html"   Extracted="354042959X"   DDC="620.00420285"   Normalized_DDC="62000420285"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540594515"   Paper_ID="/61982.html"   Extracted="3540594515"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:354066677X"   Paper_ID="/61982.html"   Extracted="354066677X"   DDC="005.1/14"   Normalized_DDC="005114"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540669922"   Paper_ID="/61982.html"   Extracted="3540669922"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540677275"   Paper_ID="/61982.html"   Extracted="3540677275"   DDC="004.2/1/0151"   Normalized_DDC="004210151"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540767851"   Paper_ID="/61982.html"   Extracted="3540767851"   />

            <identifier   Org="ISBN:3540853723"   Paper_ID="/61982.html"   Extracted="3540853723"   />

      </rec>

      <rec   ID="/152286.html"   Type="incollection"   CiteSeer_Book="Proceedings   6th   ACM   SIGPLANSIGARCH   Int   Conf   on   Functional   Programming   Languages   and   Computer   Architecture   FPCA93   Copenhagen   Denmark   911   June   1993"   CiteSeer_Volume=""   Title="A   Fold   for   All   Seasons,">

            <identifier   Org="ISBN:031230479X"   Paper_ID="/152286.html"   Extracted="031230479X"   DDC="796.357/0973"   Normalized_DDC="7963570973"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:1591403340"   Paper_ID="/152286.html"   Extracted="1591403340"   DDC="570/.1/1"   Normalized_DDC="57011"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:1878289519"   Paper_ID="/152286.html"   Extracted="1878289519"   DDC="658.4/038"   Normalized_DDC="6584038"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540221743"   Paper_ID="/152286.html"   Extracted="3540221743"   DDC="005.115"   Normalized_DDC="005115"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540425586"   Paper_ID="/152286.html"   Extracted="3540425586"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:354042959X"   Paper_ID="/152286.html"   Extracted="354042959X"   DDC="620.00420285"   Normalized_DDC="62000420285"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540442847"   Paper_ID="/152286.html"   Extracted="3540442847"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540582339"   Paper_ID="/152286.html"   Extracted="3540582339"   DDC="005.1/01/5113"   Normalized_DDC="0051015113"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540592938"   Paper_ID="/152286.html"   Extracted="3540592938"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540594515"   Paper_ID="/152286.html"   Extracted="3540594515"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:354060359X"   Paper_ID="/152286.html"   Extracted="354060359X"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540617566"   Paper_ID="/152286.html"   Extracted="3540617566"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540617841"   Paper_ID="/152286.html"   Extracted="3540617841"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540664599"   Paper_ID="/152286.html"   Extracted="3540664599"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540675302"   Paper_ID="/152286.html"   Extracted="3540675302"   DDC="005.1/01/512"   Normalized_DDC="005101512"   Normalized_Weight="0.06666666666666667"   />

      </rec>

      <rec   ID="/324231.html"   Type="incollection"   CiteSeer_Book="Conf   Record   7th   ACM   SIGPLANSIGARCH   Int   Conf   on   Functional   Programming   Languages   and   Computer   Architecture   FPCA95   La   Jolla   San   Diego   CA   USA   2528   June   1995"   CiteSeer_Volume=""   Title="Shortcut   Deforestation   in   Calculational   Form,">

            <identifier   Org="ISBN:0412820501"   Paper_ID="/324231.html"   Extracted="0412820501"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:1581134150"   Paper_ID="/324231.html"   Extracted="1581134150"   />

            <identifier   Org="ISBN:1841501441"   Paper_ID="/324231.html"   Extracted="1841501441"   />

            <identifier   Org="ISBN:184150176X"   Paper_ID="/324231.html"   Extracted="184150176X"   />

            <identifier   Org="ISBN:3540223800"   Paper_ID="/324231.html"   Extracted="3540223800"   DDC="004.2/1/0151"   Normalized_DDC="004210151"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540442847"   Paper_ID="/324231.html"   Extracted="3540442847"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540594515"   Paper_ID="/324231.html"   Extracted="3540594515"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540615504"   Paper_ID="/324231.html"   Extracted="3540615504"   DDC="004/.01/51"   Normalized_DDC="0040151"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540658319"   Paper_ID="/324231.html"   Extracted="3540658319"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540669922"   Paper_ID="/324231.html"   Extracted="3540669922"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540675302"   Paper_ID="/324231.html"   Extracted="3540675302"   DDC="005.1/01/512"   Normalized_DDC="005101512"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540676686"   Paper_ID="/324231.html"   Extracted="3540676686"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540696083"   Paper_ID="/324231.html"   Extracted="3540696083"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540732276"   Paper_ID="/324231.html"   Extracted="3540732276"   />

            <identifier   Org="ISBN:3540789685"   Paper_ID="/324231.html"   Extracted="3540789685"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.09090909090909091"   />

      </rec>

      <rec   ID="/365371.html"   Type="inproceedings"   CiteSeer_Book="ESOP   88   European   Symposium   on   Programming   Nancy   France   1988   Lecture   Notes   in   Computer   Science   vol   300"   CiteSeer_Volume=""   Title="Deforestation:   Transforming   Programs   to   Eliminate   Trees,">

            <identifier   Org="ISBN:0198537808"   Paper_ID="/365371.html"   Extracted="0198537808"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540198202"   Paper_ID="/365371.html"   Extracted="3540198202"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540213139"   Paper_ID="/365371.html"   Extracted="3540213139"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540401903"   Paper_ID="/365371.html"   Extracted="3540401903"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540412859"   Paper_ID="/365371.html"   Extracted="3540412859"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540417397"   Paper_ID="/365371.html"   Extracted="3540417397"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540421173"   Paper_ID="/365371.html"   Extracted="3540421173"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540439153"   Paper_ID="/365371.html"   Extracted="3540439153"   DDC="005.1/5"   Normalized_DDC="00515"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540442847"   Paper_ID="/365371.html"   Extracted="3540442847"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540517340"   Paper_ID="/365371.html"   Extracted="3540517340"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540572643"   Paper_ID="/365371.html"   Extracted="3540572643"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540584021"   Paper_ID="/365371.html"   Extracted="3540584021"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540584676"   Paper_ID="/365371.html"   Extracted="3540584676"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:354060359X"   Paper_ID="/365371.html"   Extracted="354060359X"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540603689"   Paper_ID="/365371.html"   Extracted="3540603689"   DDC="005.4/3"   Normalized_DDC="00543"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540617566"   Paper_ID="/365371.html"   Extracted="3540617566"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540650148"   Paper_ID="/365371.html"   Extracted="3540650148"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540658319"   Paper_ID="/365371.html"   Extracted="3540658319"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540664599"   Paper_ID="/365371.html"   Extracted="3540664599"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540671021"   Paper_ID="/365371.html"   Extracted="3540671021"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05"   />

      </rec>

      <rec   ID="/10679.html"   Type="inproceedings"   CiteSeer_Book="Conference   Record   of   the   Nineteenth   Annual   ACM   SIGPLANSIGACT   Symposium   on   Principles   of   Programming   Languages"   CiteSeer_Volume=""   Title="The   Essence   of   Functional   Programming,">

            <identifier   Org="ISBN:0262541041"   Paper_ID="/10679.html"   Extracted="0262541041"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:052182060X"   Paper_ID="/10679.html"   Extracted="052182060X"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:1586031724"   Paper_ID="/10679.html"   Extracted="1586031724"   DDC="005.101"   Normalized_DDC="005101"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:1590592395"   Paper_ID="/10679.html"   Extracted="1590592395"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:1590598695"   Paper_ID="/10679.html"   Extracted="1590598695"   DDC="005.133"   Normalized_DDC="005133"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:1841501441"   Paper_ID="/10679.html"   Extracted="1841501441"   />

            <identifier   Org="ISBN:3540425586"   Paper_ID="/10679.html"   Extracted="3540425586"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540426736"   Paper_ID="/10679.html"   Extracted="3540426736"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540433635"   Paper_ID="/10679.html"   Extracted="3540433635"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540438572"   Paper_ID="/10679.html"   Extracted="3540438572"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540538526"   Paper_ID="/10679.html"   Extracted="3540538526"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540578803"   Paper_ID="/10679.html"   Extracted="3540578803"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540578870"   Paper_ID="/10679.html"   Extracted="3540578870"   DDC="005.1/01/5113"   Normalized_DDC="0051015113"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540594515"   Paper_ID="/10679.html"   Extracted="3540594515"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540662294"   Paper_ID="/10679.html"   Extracted="3540662294"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540671021"   Paper_ID="/10679.html"   Extracted="3540671021"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540676287"   Paper_ID="/10679.html"   Extracted="3540676287"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540678956"   Paper_ID="/10679.html"   Extracted="3540678956"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540705937"   Paper_ID="/10679.html"   Extracted="3540705937"   />

      </rec>

      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="Promotional   Transformation   of   Monadic   Programs">

            <identifier   Org="ISBN:354042959X"   Paper_ID="SELF"   Extracted="354042959X"   DDC="620.00420285"   Normalized_DDC="62000420285"   Normalized_Weight="1.0"   />

      </rec>

</references_metadata>