Automatically assigned DDC number: 005131
Manually assigned DDC number: 005131
Number of references: 30
Title: How to Declare an Imperative
Author:
Subject: Philip Wadler How to Declare an Imperative
Description: How can we integrate interaction into a purely declarative language? This tutorial describes a solution to this problem based on a monad. The solution has been implemented in the functional language Haskell and the declarative language Escher. Comparisons are given to other approaches to interaction based on synchronous streams, continuations, linear logic, and side effects.
Contributor: The Pennsylvania State University CiteSeer Archives
Publisher: unknown
Date: 1997-11-10
Pubyear: 1995
Format: ps
Identifier: http://citeseer.ist.psu.edu/23610.html
Source: http://cm.bell-labs.com/cm/cs/who/wadler/papers/monadsdeclare/monadsdeclare.ps.gz
Language: en
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Rights: unrestricted
<?xml version="1.0" encoding="UTF-8"?>
<references_metadata>
<rec ID="/504182.html" Type="article" CiteSeer_Book="Theoretical Computer Science" CiteSeer_Volume="111" Title="Computational interpretations of linear logic,">
<identifier Org="ISBN:0387557075" Paper_ID="/504182.html" Extracted="0387557075" DDC="004" Normalized_DDC="004" Normalized_Weight="0.05" />
<identifier Org="ISBN:044450396X" Paper_ID="/504182.html" Extracted="044450396X" DDC="512" Normalized_DDC="512" Normalized_Weight="0.05" />
<identifier Org="ISBN:0521559618" Paper_ID="/504182.html" Extracted="0521559618" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.05" />
<identifier Org="ISBN:0521608570" Paper_ID="/504182.html" Extracted="0521608570" DDC="511.36" Normalized_DDC="51136" Normalized_Weight="0.05" />
<identifier Org="ISBN:078032563X" Paper_ID="/504182.html" Extracted="078032563X" DDC="004" Normalized_DDC="004" Normalized_Weight="0.05" />
<identifier Org="ISBN:0792343832" Paper_ID="/504182.html" Extracted="0792343832" DDC="501" Normalized_DDC="501" Normalized_Weight="0.05" />
<identifier Org="ISBN:1402012705" Paper_ID="/504182.html" Extracted="1402012705" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.05" />
<identifier Org="ISBN:3540208135" Paper_ID="/504182.html" Extracted="3540208135" DDC="004" Normalized_DDC="004" Normalized_Weight="0.05" />
<identifier Org="ISBN:3540212981" Paper_ID="/504182.html" Extracted="3540212981" DDC="005" Normalized_DDC="005" Normalized_Weight="0.05" />
<identifier Org="ISBN:354055727X" Paper_ID="/504182.html" Extracted="354055727X" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.05" />
<identifier Org="ISBN:354055789X" Paper_ID="/504182.html" Extracted="354055789X" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.05" />
<identifier Org="ISBN:3540564543" Paper_ID="/504182.html" Extracted="3540564543" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.05" />
<identifier Org="ISBN:3540569928" Paper_ID="/504182.html" Extracted="3540569928" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.05" />
<identifier Org="ISBN:3540578870" Paper_ID="/504182.html" Extracted="3540578870" DDC="005.1/01/5113" Normalized_DDC="0051015113" Normalized_Weight="0.05" />
<identifier Org="ISBN:3540584315" Paper_ID="/504182.html" Extracted="3540584315" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.05" />
<identifier Org="ISBN:3540600175" Paper_ID="/504182.html" Extracted="3540600175" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.05" />
<identifier Org="ISBN:3540614877" Paper_ID="/504182.html" Extracted="3540614877" DDC="005.2" Normalized_DDC="0052" Normalized_Weight="0.05" />
<identifier Org="ISBN:3540672621" Paper_ID="/504182.html" Extracted="3540672621" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.05" />
<identifier Org="ISBN:3540713891" Paper_ID="/504182.html" Extracted="3540713891" DDC="005.12" Normalized_DDC="00512" Normalized_Weight="0.05" />
<identifier Org="ISBN:3540784977" Paper_ID="/504182.html" Extracted="3540784977" DDC="003" Normalized_DDC="003" Normalized_Weight="0.05" />
</rec>
<rec ID="/68823.html" Type="article" CiteSeer_Book="Journal of Functional Programming" CiteSeer_Volume="5" Title="The Ins and Outs of Clean I/O,">
<identifier Org="ISBN:0780336542" Paper_ID="/68823.html" Extracted="0780336542" />
<identifier Org="ISBN:0897919068" Paper_ID="/68823.html" Extracted="0897919068" DDC="005.2/75" Normalized_DDC="005275" Normalized_Weight="0.16666666666666666" />
<identifier Org="ISBN:1581138504" Paper_ID="/68823.html" Extracted="1581138504" DDC="005.13/3" Normalized_DDC="005133" Normalized_Weight="0.16666666666666666" />
<identifier Org="ISBN:1581139454" Paper_ID="/68823.html" Extracted="1581139454" />
<identifier Org="ISBN:3540419195" Paper_ID="/68823.html" Extracted="3540419195" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.16666666666666666" />
<identifier Org="ISBN:3540594515" Paper_ID="/68823.html" Extracted="3540594515" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.16666666666666666" />
<identifier Org="ISBN:354060359X" Paper_ID="/68823.html" Extracted="354060359X" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.16666666666666666" />
<identifier Org="ISBN:3540648496" Paper_ID="/68823.html" Extracted="3540648496" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.16666666666666666" />
</rec>
<rec ID="/82835.html" Type="inproceedings" CiteSeer_Book="Proceedings of the 13th Conference on the Foundations of Software Technology and Theoretical Computer Science 1993 Bombay" CiteSeer_Volume="" Title="Conventional and Uniqueness Typing in Graph Rewrite Systems,">
<identifier Org="ISBN:0818671777" Paper_ID="/82835.html" Extracted="0818671777" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:1581134150" Paper_ID="/82835.html" Extracted="1581134150" />
<identifier Org="ISBN:3540433635" Paper_ID="/82835.html" Extracted="3540433635" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540575294" Paper_ID="/82835.html" Extracted="3540575294" DDC="004" Normalized_DDC="004" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540581847" Paper_ID="/82835.html" Extracted="3540581847" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540594515" Paper_ID="/82835.html" Extracted="3540594515" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540600175" Paper_ID="/82835.html" Extracted="3540600175" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:354060359X" Paper_ID="/82835.html" Extracted="354060359X" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540631720" Paper_ID="/82835.html" Extracted="3540631720" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540632379" Paper_ID="/82835.html" Extracted="3540632379" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540643028" Paper_ID="/82835.html" Extracted="3540643028" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:354067263X" Paper_ID="/82835.html" Extracted="354067263X" DDC="005.4/53" Normalized_DDC="005453" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540741291" Paper_ID="/82835.html" Extracted="3540741291" DDC="005.1/14" Normalized_DDC="005114" Normalized_Weight="0.08333333333333333" />
</rec>
<rec ID="/62155.html" Type="inproceedings" CiteSeer_Book="Conference Record of POPL97 The 24th ACM SIGPLANSIGACT Symposium on Principles of Programming Languages" CiteSeer_Volume="" Title="Rolling Your Own Mutable {ADT}---{A} Connection Between Linear Types and Monads,">
<identifier Org="ISBN:3540285407" Paper_ID="/62155.html" Extracted="3540285407" DDC="005.1/14" Normalized_DDC="005114" Normalized_Weight="0.25" />
<identifier Org="ISBN:3540646590" Paper_ID="/62155.html" Extracted="3540646590" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.25" />
<identifier Org="ISBN:3540669922" Paper_ID="/62155.html" Extracted="3540669922" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.25" />
<identifier Org="ISBN:3540672621" Paper_ID="/62155.html" Extracted="3540672621" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.25" />
</rec>
<rec ID="/1691.html" Type="incollection" CiteSeer_Book="Conf Record 21st ACM SIGPLANSIGACT Symp on Principles of Programming Languages POPL94 Portland OR USA 1721 Jan 1994" CiteSeer_Volume="" Title="Representing Monads,">
<identifier Org="ISBN:0199204381" Paper_ID="/1691.html" Extracted="0199204381" DDC="415" Normalized_DDC="415" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:0262620995" Paper_ID="/1691.html" Extracted="0262620995" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:0521846269" Paper_ID="/1691.html" Extracted="0521846269" DDC="830.9/353/09033" Normalized_DDC="830935309033" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:0792354761" Paper_ID="/1691.html" Extracted="0792354761" DDC="193" Normalized_DDC="193" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:1581134150" Paper_ID="/1691.html" Extracted="1581134150" />
<identifier Org="ISBN:1581137052" Paper_ID="/1691.html" Extracted="1581137052" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540255966" Paper_ID="/1691.html" Extracted="3540255966" DDC="005.131" Normalized_DDC="005131" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540260943" Paper_ID="/1691.html" Extracted="3540260943" DDC="005.1/14" Normalized_DDC="005114" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540291385" Paper_ID="/1691.html" Extracted="3540291385" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540578870" Paper_ID="/1691.html" Extracted="3540578870" DDC="005.1/01/5113" Normalized_DDC="0051015113" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540592008" Paper_ID="/1691.html" Extracted="3540592008" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540665404" Paper_ID="/1691.html" Extracted="3540665404" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540672621" Paper_ID="/1691.html" Extracted="3540672621" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540678239" Paper_ID="/1691.html" Extracted="3540678239" DDC="004" Normalized_DDC="004" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540766367" Paper_ID="/1691.html" Extracted="3540766367" />
<identifier Org="ISBN:3764379855" Paper_ID="/1691.html" Extracted="3764379855" DDC="516.001" Normalized_DDC="516001" Normalized_Weight="0.07142857142857142" />
</rec>
<rec ID="/368709.html" Type="inproceedings" CiteSeer_Book="Advanced Functional Programming" CiteSeer_Volume="" Title="Functional Parsers,">
<identifier Org="ISBN:0262620995" Paper_ID="/368709.html" Extracted="0262620995" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:0415361915" Paper_ID="/368709.html" Extracted="0415361915" DDC="418.028/5" Normalized_DDC="4180285" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:0471911690" Paper_ID="/368709.html" Extracted="0471911690" DDC="428.4/01/9" Normalized_DDC="4284019" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:0521692695" Paper_ID="/368709.html" Extracted="0521692695" DDC="005.133" Normalized_DDC="005133" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:061231006X" Paper_ID="/368709.html" Extracted="061231006X" />
<identifier Org="ISBN:0817640320" Paper_ID="/368709.html" Extracted="0817640320" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:0897917200" Paper_ID="/368709.html" Extracted="0897917200" DDC="005.131" Normalized_DDC="005131" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:1581138504" Paper_ID="/368709.html" Extracted="1581138504" DDC="005.13/3" Normalized_DDC="005133" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540410899" Paper_ID="/368709.html" Extracted="3540410899" DDC="610/.7/27" Normalized_DDC="610727" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540433635" Paper_ID="/368709.html" Extracted="3540433635" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540594515" Paper_ID="/368709.html" Extracted="3540594515" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540601600" Paper_ID="/368709.html" Extracted="3540601600" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540662294" Paper_ID="/368709.html" Extracted="3540662294" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:354066677X" Paper_ID="/368709.html" Extracted="354066677X" DDC="005.1/14" Normalized_DDC="005114" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:354066694X" Paper_ID="/368709.html" Extracted="354066694X" DDC="004" Normalized_DDC="004" Normalized_Weight="0.07142857142857142" />
</rec>
<rec ID="/321137.html" Type="incollection" CiteSeer_Book="Research Topics in Functional Programming" CiteSeer_Volume="" Title="Higher-Order Functions Considered Unnecessary for Higher-Order Programming,">
<identifier Org="ISBN:0198537921" Paper_ID="/321137.html" Extracted="0198537921" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:0262620995" Paper_ID="/321137.html" Extracted="0262620995" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:0387582169" Paper_ID="/321137.html" Extracted="0387582169" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:0792377575" Paper_ID="/321137.html" Extracted="0792377575" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:0818625856" Paper_ID="/321137.html" Extracted="0818625856" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540195580" Paper_ID="/321137.html" Extracted="3540195580" DDC="004" Normalized_DDC="004" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540196609" Paper_ID="/321137.html" Extracted="3540196609" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540198520" Paper_ID="/321137.html" Extracted="3540198520" DDC="005.101512" Normalized_DDC="005101512" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540433694" Paper_ID="/321137.html" Extracted="3540433694" DDC="005.4/53" Normalized_DDC="005453" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540506675" Paper_ID="/321137.html" Extracted="3540506675" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540539042" Paper_ID="/321137.html" Extracted="3540539042" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540568832" Paper_ID="/321137.html" Extracted="3540568832" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540575294" Paper_ID="/321137.html" Extracted="3540575294" DDC="004" Normalized_DDC="004" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540601643" Paper_ID="/321137.html" Extracted="3540601643" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540614397" Paper_ID="/321137.html" Extracted="3540614397" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540675302" Paper_ID="/321137.html" Extracted="3540675302" DDC="005.1/01/512" Normalized_DDC="005101512" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540713506" Paper_ID="/321137.html" Extracted="3540713506" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.058823529411764705" />
</rec>
<rec ID="/9202.html" Type="incollection" CiteSeer_Book="Advanced Functional Programming" CiteSeer_Volume="" Title="{T}he {D}esign of a {P}retty-printing {L}ibrary," />
<rec ID="/191557.html" Type="incollection" CiteSeer_Book="Conf Record 21st Ann ACM SIGPLANSIGACT Symp on Principles of Programming Languages POPL94 Oregon PL USA 1721 Jan 1994" CiteSeer_Volume="" Title="A Generic Account of Continuation-Passing Styles,">
<identifier Org="ISBN:0521543274" Paper_ID="/191557.html" Extracted="0521543274" DDC="515" Normalized_DDC="515" Normalized_Weight="0.0625" />
<identifier Org="ISBN:0897917707" Paper_ID="/191557.html" Extracted="0897917707" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />
<identifier Org="ISBN:1581132417" Paper_ID="/191557.html" Extracted="1581132417" />
<identifier Org="ISBN:184150176X" Paper_ID="/191557.html" Extracted="184150176X" />
<identifier Org="ISBN:3540009043" Paper_ID="/191557.html" Extracted="3540009043" DDC="005.4/53" Normalized_DDC="005453" Normalized_Weight="0.0625" />
<identifier Org="ISBN:354014031X" Paper_ID="/191557.html" Extracted="354014031X" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540213139" Paper_ID="/191557.html" Extracted="3540213139" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540260943" Paper_ID="/191557.html" Extracted="3540260943" DDC="005.1/14" Normalized_DDC="005114" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540417397" Paper_ID="/191557.html" Extracted="3540417397" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.0625" />
<identifier Org="ISBN:354043366X" Paper_ID="/191557.html" Extracted="354043366X" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540440445" Paper_ID="/191557.html" Extracted="3540440445" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540580271" Paper_ID="/191557.html" Extracted="3540580271" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.0625" />
<identifier Org="ISBN:354060359X" Paper_ID="/191557.html" Extracted="354060359X" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540610553" Paper_ID="/191557.html" Extracted="3540610553" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />
<identifier Org="ISBN:354063388X" Paper_ID="/191557.html" Extracted="354063388X" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540633987" Paper_ID="/191557.html" Extracted="3540633987" DDC="005.13/3" Normalized_DDC="005133" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540643028" Paper_ID="/191557.html" Extracted="3540643028" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540672621" Paper_ID="/191557.html" Extracted="3540672621" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3642024432" Paper_ID="/191557.html" Extracted="3642024432" />
</rec>
<rec ID="/30726.html" Type="techreport" CiteSeer_Book="" CiteSeer_Volume="" Title="On the Expressiveness of Purely Functional {I}/{O} Systems,">
<identifier Org="ISBN:0198537921" Paper_ID="/30726.html" Extracted="0198537921" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:0521471036" Paper_ID="/30726.html" Extracted="0521471036" DDC="005.7/11" Normalized_DDC="005711" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:0521714729" Paper_ID="/30726.html" Extracted="0521714729" />
<identifier Org="ISBN:0817638806" Paper_ID="/30726.html" Extracted="0817638806" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:0867204508" Paper_ID="/30726.html" Extracted="0867204508" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:1586031724" Paper_ID="/30726.html" Extracted="1586031724" DDC="005.101" Normalized_DDC="005101" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540196099" Paper_ID="/30726.html" Extracted="3540196099" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540211462" Paper_ID="/30726.html" Extracted="3540211462" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540260943" Paper_ID="/30726.html" Extracted="3540260943" DDC="005.1/14" Normalized_DDC="005114" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540543961" Paper_ID="/30726.html" Extracted="3540543961" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540558446" Paper_ID="/30726.html" Extracted="3540558446" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540594515" Paper_ID="/30726.html" Extracted="3540594515" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540594809" Paper_ID="/30726.html" Extracted="3540594809" DDC="005.1/2" Normalized_DDC="00512" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:354060359X" Paper_ID="/30726.html" Extracted="354060359X" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3833001917" Paper_ID="/30726.html" Extracted="3833001917" />
</rec>
<rec ID="/357450.html" Type="inproceedings" CiteSeer_Book="FPCA 93 Conference on Functional Programming and Computer Architecture Copenhagen Denmark" CiteSeer_Volume="" Title="{A} system of constructor classes: overloading and implicit higher-order polymorphism,">
<identifier Org="ISBN:0262620995" Paper_ID="/357450.html" Extracted="0262620995" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:0897917707" Paper_ID="/357450.html" Extracted="0897917707" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:1581132417" Paper_ID="/357450.html" Extracted="1581132417" />
<identifier Org="ISBN:1595933883" Paper_ID="/357450.html" Extracted="1595933883" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:1841501441" Paper_ID="/357450.html" Extracted="1841501441" />
<identifier Org="ISBN:3540201025" Paper_ID="/357450.html" Extracted="3540201025" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540297359" Paper_ID="/357450.html" Extracted="3540297359" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540433635" Paper_ID="/357450.html" Extracted="3540433635" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540438572" Paper_ID="/357450.html" Extracted="3540438572" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540578803" Paper_ID="/357450.html" Extracted="3540578803" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540617809" Paper_ID="/357450.html" Extracted="3540617809" DDC="511.3/0285" Normalized_DDC="51130285" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540633987" Paper_ID="/357450.html" Extracted="3540633987" DDC="005.13/3" Normalized_DDC="005133" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540648496" Paper_ID="/357450.html" Extracted="3540648496" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540662464" Paper_ID="/357450.html" Extracted="3540662464" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540679596" Paper_ID="/357450.html" Extracted="3540679596" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:9051994176" Paper_ID="/357450.html" Extracted="9051994176" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.07142857142857142" />
</rec>
<rec ID="/424984.html" Type="inproceedings" CiteSeer_Book="Advanced Functional Programming" CiteSeer_Volume="" Title="Functional Programming with Overloading and Higher-Order Polymorphism,">
<identifier Org="ISBN:0262620995" Paper_ID="/424984.html" Extracted="0262620995" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:0792384369" Paper_ID="/424984.html" Extracted="0792384369" DDC="910/.285" Normalized_DDC="910285" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:0897919068" Paper_ID="/424984.html" Extracted="0897919068" DDC="005.2/75" Normalized_DDC="005275" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540291385" Paper_ID="/424984.html" Extracted="3540291385" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:354043092X" Paper_ID="/424984.html" Extracted="354043092X" DDC="005.131" Normalized_DDC="005131" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540594515" Paper_ID="/424984.html" Extracted="3540594515" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:354061463X" Paper_ID="/424984.html" Extracted="354061463X" DDC="005.1/2/015113" Normalized_DDC="00512015113" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540617566" Paper_ID="/424984.html" Extracted="3540617566" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540620648" Paper_ID="/424984.html" Extracted="3540620648" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540662413" Paper_ID="/424984.html" Extracted="3540662413" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:354066677X" Paper_ID="/424984.html" Extracted="354066677X" DDC="005.1/14" Normalized_DDC="005114" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540705937" Paper_ID="/424984.html" Extracted="3540705937" />
<identifier Org="ISBN:3540740600" Paper_ID="/424984.html" Extracted="3540740600" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3833001917" Paper_ID="/424984.html" Extracted="3833001917" />
<identifier Org="ISBN:9051994176" Paper_ID="/424984.html" Extracted="9051994176" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.07692307692307693" />
</rec>
<rec ID="/30070.html" Type="inproceedings" CiteSeer_Book="Conference Record of POPL 95 22nd Annual ACM SIGPLANSIGACT Symposium on Principles of Programming Languages San Francisco Calif" CiteSeer_Volume="" Title="Structuring Depth-First Search Algorithms in Haskell,">
<identifier Org="ISBN:0262620995" Paper_ID="/30070.html" Extracted="0262620995" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:0897919068" Paper_ID="/30070.html" Extracted="0897919068" DDC="005.2/75" Normalized_DDC="005275" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540285407" Paper_ID="/30070.html" Extracted="3540285407" DDC="005.1/14" Normalized_DDC="005114" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540402543" Paper_ID="/30070.html" Extracted="3540402543" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540433635" Paper_ID="/30070.html" Extracted="3540433635" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540440445" Paper_ID="/30070.html" Extracted="3540440445" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540594515" Paper_ID="/30070.html" Extracted="3540594515" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540601171" Paper_ID="/30070.html" Extracted="3540601171" DDC="004.2/0151" Normalized_DDC="00420151" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540696083" Paper_ID="/30070.html" Extracted="3540696083" DDC="005.131" Normalized_DDC="005131" Normalized_Weight="0.1111111111111111" />
</rec>
<rec ID="/14640.html" Type="inproceedings" CiteSeer_Book="Functional Programming Workshops in Computing Proceedings" CiteSeer_Volume="" Title="Combining Monads,">
<identifier Org="ISBN:0134843460" Paper_ID="/14640.html" Extracted="0134843460" DDC="005.1/14" Normalized_DDC="005114" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:1402000669" Paper_ID="/14640.html" Extracted="1402000669" DDC="142/.7" Normalized_DDC="1427" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:354014031X" Paper_ID="/14640.html" Extracted="354014031X" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540198202" Paper_ID="/14640.html" Extracted="3540198202" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540253882" Paper_ID="/14640.html" Extracted="3540253882" DDC="004" Normalized_DDC="004" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540416552" Paper_ID="/14640.html" Extracted="3540416552" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540433813" Paper_ID="/14640.html" Extracted="3540433813" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540552510" Paper_ID="/14640.html" Extracted="3540552510" DDC="511/.5" Normalized_DDC="5115" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:354056943X" Paper_ID="/14640.html" Extracted="354056943X" DDC="004.2/1" Normalized_DDC="00421" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540578870" Paper_ID="/14640.html" Extracted="3540578870" DDC="005.1/01/5113" Normalized_DDC="0051015113" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540594515" Paper_ID="/14640.html" Extracted="3540594515" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:354060359X" Paper_ID="/14640.html" Extracted="354060359X" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540610553" Paper_ID="/14640.html" Extracted="3540610553" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540649255" Paper_ID="/14640.html" Extracted="3540649255" DDC="005.4/53" Normalized_DDC="005453" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540732276" Paper_ID="/14640.html" Extracted="3540732276" />
<identifier Org="ISBN:3642005896" Paper_ID="/14640.html" Extracted="3642005896" />
</rec>
<rec ID="/41923.html" Type="inproceedings" CiteSeer_Book="Proceedings of the ACM SIGPLAN Workshop on State in Programming Languages Copenhagen DK SIPL 92" CiteSeer_Volume="" Title="Lazy Imperative Programming,">
<identifier Org="ISBN:0134843460" Paper_ID="/41923.html" Extracted="0134843460" DDC="005.1/14" Normalized_DDC="005114" Normalized_Weight="0.16666666666666666" />
<identifier Org="ISBN:0818676833" Paper_ID="/41923.html" Extracted="0818676833" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.16666666666666666" />
<identifier Org="ISBN:0897919068" Paper_ID="/41923.html" Extracted="0897919068" DDC="005.2/75" Normalized_DDC="005275" Normalized_Weight="0.16666666666666666" />
<identifier Org="ISBN:1581132417" Paper_ID="/41923.html" Extracted="1581132417" />
<identifier Org="ISBN:3540594515" Paper_ID="/41923.html" Extracted="3540594515" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.16666666666666666" />
<identifier Org="ISBN:3540662294" Paper_ID="/41923.html" Extracted="3540662294" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.16666666666666666" />
<identifier Org="ISBN:354078912X" Paper_ID="/41923.html" Extracted="354078912X" DDC="511.3/24" Normalized_DDC="511324" Normalized_Weight="0.16666666666666666" />
</rec>
<rec ID="/79890.html" Type="inproceedings" CiteSeer_Book="SIGPLAN Conference on Programming Language Design and Implementation" CiteSeer_Volume="" Title="Lazy Functional State Threads,">
<identifier Org="ISBN:0262620995" Paper_ID="/79890.html" Extracted="0262620995" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:026264035X" Paper_ID="/79890.html" Extracted="026264035X" DDC="005.115" Normalized_DDC="005115" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:0521471036" Paper_ID="/79890.html" Extracted="0521471036" DDC="005.7/11" Normalized_DDC="005711" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:0897919068" Paper_ID="/79890.html" Extracted="0897919068" DDC="005.2/75" Normalized_DDC="005275" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:1581132417" Paper_ID="/79890.html" Extracted="1581132417" />
<identifier Org="ISBN:158113388X" Paper_ID="/79890.html" Extracted="158113388X" />
<identifier Org="ISBN:3540285407" Paper_ID="/79890.html" Extracted="3540285407" DDC="005.1/14" Normalized_DDC="005114" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540433635" Paper_ID="/79890.html" Extracted="3540433635" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540440445" Paper_ID="/79890.html" Extracted="3540440445" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:354060359X" Paper_ID="/79890.html" Extracted="354060359X" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540610553" Paper_ID="/79890.html" Extracted="3540610553" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540617566" Paper_ID="/79890.html" Extracted="3540617566" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540648496" Paper_ID="/79890.html" Extracted="3540648496" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540649255" Paper_ID="/79890.html" Extracted="3540649255" DDC="005.4/53" Normalized_DDC="005453" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540662294" Paper_ID="/79890.html" Extracted="3540662294" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540710655" Paper_ID="/79890.html" Extracted="3540710655" DDC="006.3/33" Normalized_DDC="006333" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540735534" Paper_ID="/79890.html" Extracted="3540735534" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.06666666666666667" />
</rec>
<rec ID="/397625.html" Type="inproceedings" CiteSeer_Book="International Conference on Functional Programming" CiteSeer_Volume="" Title="Monadic State: Axiomatization and Type Safety,">
<identifier Org="ISBN:0897919068" Paper_ID="/397625.html" Extracted="0897919068" DDC="005.2/75" Normalized_DDC="005275" Normalized_Weight="0.5" />
<identifier Org="ISBN:3540213139" Paper_ID="/397625.html" Extracted="3540213139" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.5" />
</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.0625" />
<identifier Org="ISBN:3540291385" Paper_ID="/14178.html" Extracted="3540291385" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540411720" Paper_ID="/14178.html" Extracted="3540411720" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />
<identifier Org="ISBN:354042959X" Paper_ID="/14178.html" Extracted="354042959X" DDC="620.00420285" Normalized_DDC="62000420285" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540433813" Paper_ID="/14178.html" Extracted="3540433813" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540437592" Paper_ID="/14178.html" Extracted="3540437592" DDC="005.1/17" Normalized_DDC="005117" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540438572" Paper_ID="/14178.html" Extracted="3540438572" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540440445" Paper_ID="/14178.html" Extracted="3540440445" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540594515" Paper_ID="/14178.html" Extracted="3540594515" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540610553" Paper_ID="/14178.html" Extracted="3540610553" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540647376" Paper_ID="/14178.html" Extracted="3540647376" DDC="005.1/17" Normalized_DDC="005117" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540650121" Paper_ID="/14178.html" Extracted="3540650121" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540656995" Paper_ID="/14178.html" Extracted="3540656995" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540669922" Paper_ID="/14178.html" Extracted="3540669922" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540676600" Paper_ID="/14178.html" Extracted="3540676600" DDC="005.1/17" Normalized_DDC="005117" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540679588" Paper_ID="/14178.html" Extracted="3540679588" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540705937" Paper_ID="/14178.html" Extracted="3540705937" />
<identifier Org="ISBN:3642005896" Paper_ID="/14178.html" Extracted="3642005896" />
</rec>
<rec ID="/46786.html" Type="techreport" CiteSeer_Book="" CiteSeer_Volume="" Title="Declarative Programming in Escher,">
<identifier Org="ISBN:0198538677" Paper_ID="/46786.html" Extracted="0198538677" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.125" />
<identifier Org="ISBN:0262620995" Paper_ID="/46786.html" Extracted="0262620995" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.125" />
<identifier Org="ISBN:1558606114" Paper_ID="/46786.html" Extracted="1558606114" />
<identifier Org="ISBN:3540411372" Paper_ID="/46786.html" Extracted="3540411372" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.125" />
<identifier Org="ISBN:3540419500" Paper_ID="/46786.html" Extracted="3540419500" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.125" />
<identifier Org="ISBN:3540648496" Paper_ID="/46786.html" Extracted="3540648496" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.125" />
<identifier Org="ISBN:3540664904" Paper_ID="/46786.html" Extracted="3540664904" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.125" />
<identifier Org="ISBN:3540664920" Paper_ID="/46786.html" Extracted="3540664920" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.125" />
<identifier Org="ISBN:3540671021" Paper_ID="/46786.html" Extracted="3540671021" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.125" />
</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="/286334.html" Type="incollection" CiteSeer_Book="Proceedings 4th Annual IEEE Symp on Logic in Computer Science LICS89 Pacific Grove CA USA 58 June 1989" CiteSeer_Volume="" Title="Computational Lambda-Calculus and Monads,">
<identifier Org="ISBN:0262660717" Paper_ID="/286334.html" Extracted="0262660717" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:0521631688" Paper_ID="/286334.html" Extracted="0521631688" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:0818619546" Paper_ID="/286334.html" Extracted="0818619546" />
<identifier Org="ISBN:3540213139" Paper_ID="/286334.html" Extracted="3540213139" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540286209" Paper_ID="/286334.html" Extracted="3540286209" DDC="004.01/512" Normalized_DDC="00401512" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540419608" Paper_ID="/286334.html" Extracted="3540419608" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:354043366X" Paper_ID="/286334.html" Extracted="354043366X" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540525319" Paper_ID="/286334.html" Extracted="3540525319" DDC="004.2/1" Normalized_DDC="00421" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540592008" Paper_ID="/286334.html" Extracted="3540592008" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540626883" Paper_ID="/286334.html" Extracted="3540626883" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:354063388X" Paper_ID="/286334.html" Extracted="354063388X" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540662243" Paper_ID="/286334.html" Extracted="3540662243" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540667105" Paper_ID="/286334.html" Extracted="3540667105" DDC="005" Normalized_DDC="005" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540734473" Paper_ID="/286334.html" Extracted="3540734473" />
<identifier Org="ISBN:3642005896" Paper_ID="/286334.html" Extracted="3642005896" />
<identifier Org="ISBN:3642006086" Paper_ID="/286334.html" Extracted="3642006086" />
<identifier Org="ISBN:364202260X" Paper_ID="/286334.html" Extracted="364202260X" />
</rec>
<rec ID="/63767.html" Type="inproceedings" CiteSeer_Book="Conference Record of POPL 96 The 23mathrmrd ACM SIGPLANSIGACT Symposium on Principles of Programming Languages" CiteSeer_Volume="" Title="Concurrent {Haskell},">
<identifier Org="ISBN:0262161885" Paper_ID="/63767.html" Extracted="0262161885" DDC="004" Normalized_DDC="004" Normalized_Weight="0.0625" />
<identifier Org="ISBN:0521631688" Paper_ID="/63767.html" Extracted="0521631688" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.0625" />
<identifier Org="ISBN:1586031724" Paper_ID="/63767.html" Extracted="1586031724" DDC="005.101" Normalized_DDC="005101" Normalized_Weight="0.0625" />
<identifier Org="ISBN:1586039075" Paper_ID="/63767.html" Extracted="1586039075" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.0625" />
<identifier Org="ISBN:159593071X" Paper_ID="/63767.html" Extracted="159593071X" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />
<identifier Org="ISBN:1595930809" Paper_ID="/63767.html" Extracted="1595930809" />
<identifier Org="ISBN:1841500585" Paper_ID="/63767.html" Extracted="1841500585" />
<identifier Org="ISBN:1852330929" Paper_ID="/63767.html" Extracted="1852330929" DDC="005.2/75" Normalized_DDC="005275" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540283099" Paper_ID="/63767.html" Extracted="3540283099" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540419195" Paper_ID="/63767.html" Extracted="3540419195" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540620648" Paper_ID="/63767.html" Extracted="3540620648" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540628282" Paper_ID="/63767.html" Extracted="3540628282" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540633987" Paper_ID="/63767.html" Extracted="3540633987" DDC="005.13/3" Normalized_DDC="005133" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540650121" Paper_ID="/63767.html" Extracted="3540650121" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540664629" Paper_ID="/63767.html" Extracted="3540664629" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540665889" Paper_ID="/63767.html" Extracted="3540665889" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540741291" Paper_ID="/63767.html" Extracted="3540741291" DDC="005.1/14" Normalized_DDC="005114" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540774416" Paper_ID="/63767.html" Extracted="3540774416" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3833001917" Paper_ID="/63767.html" Extracted="3833001917" />
</rec>
<rec ID="/12235.html" Type="inproceedings" CiteSeer_Book="Conference record of the Twentieth Annual ACM SIGPLANSIGACT Symposium on Principles of Programming Languages Charleston South Carolina" CiteSeer_Volume="" Title="Imperative Functional Programming,">
<identifier Org="ISBN:0262631806" Paper_ID="/12235.html" Extracted="0262631806" DDC="005.115" Normalized_DDC="005115" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:0521471036" Paper_ID="/12235.html" Extracted="0521471036" DDC="005.7/11" Normalized_DDC="005711" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:1841501883" Paper_ID="/12235.html" Extracted="1841501883" />
<identifier Org="ISBN:3540006222" Paper_ID="/12235.html" Extracted="3540006222" DDC="005.8/2" Normalized_DDC="00582" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540198202" Paper_ID="/12235.html" Extracted="3540198202" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540594515" Paper_ID="/12235.html" Extracted="3540594515" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540601007" Paper_ID="/12235.html" Extracted="3540601007" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:354060359X" Paper_ID="/12235.html" Extracted="354060359X" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540610553" Paper_ID="/12235.html" Extracted="3540610553" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540633987" Paper_ID="/12235.html" Extracted="3540633987" DDC="005.13/3" Normalized_DDC="005133" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:354066677X" Paper_ID="/12235.html" Extracted="354066677X" DDC="005.1/14" Normalized_DDC="005114" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540671021" Paper_ID="/12235.html" Extracted="3540671021" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540678646" Paper_ID="/12235.html" Extracted="3540678646" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540678956" Paper_ID="/12235.html" Extracted="3540678956" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540705937" Paper_ID="/12235.html" Extracted="3540705937" />
<identifier Org="ISBN:3540710655" Paper_ID="/12235.html" Extracted="3540710655" DDC="006.3/33" Normalized_DDC="006333" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:905199222X" Paper_ID="/12235.html" Extracted="905199222X" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.06666666666666667" />
</rec>
<rec ID="/540462.html" Type="incollection" CiteSeer_Book="Proceedings 1st ACM SIGPLAN Int Conf on Funct Prog ICFP96 Philadelphia PA 2426 May 1996" CiteSeer_Volume="" Title="A Reflection on Call-by-Value,">
<identifier Org="ISBN:0262062178" Paper_ID="/540462.html" Extracted="0262062178" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.1" />
<identifier Org="ISBN:0897917707" Paper_ID="/540462.html" Extracted="0897917707" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540255931" Paper_ID="/540462.html" Extracted="3540255931" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540255966" Paper_ID="/540462.html" Extracted="3540255966" DDC="005.131" Normalized_DDC="005131" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540260943" Paper_ID="/540462.html" Extracted="3540260943" DDC="005.1/14" Normalized_DDC="005114" Normalized_Weight="0.1" />
<identifier Org="ISBN:354043366X" Paper_ID="/540462.html" Extracted="354043366X" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540440445" Paper_ID="/540462.html" Extracted="3540440445" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.1" />
<identifier Org="ISBN:354063388X" Paper_ID="/540462.html" Extracted="354063388X" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540633987" Paper_ID="/540462.html" Extracted="3540633987" DDC="005.13/3" Normalized_DDC="005133" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540732276" Paper_ID="/540462.html" Extracted="3540732276" />
<identifier Org="ISBN:3540755586" Paper_ID="/540462.html" Extracted="3540755586" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540875301" Paper_ID="/540462.html" Extracted="3540875301" />
<identifier Org="ISBN:364200721X" Paper_ID="/540462.html" Extracted="364200721X" />
<identifier Org="ISBN:3642024432" Paper_ID="/540462.html" Extracted="3642024432" />
</rec>
<rec ID="/3522.html" Type="inproceedings" CiteSeer_Book="Conference record of POPL 94 21st ACM SIGPLANSIGACT Symposium on Principles of Programming Languages Portland Oregon January 1721 1994" CiteSeer_Volume="" Title="Building interpreters by composing monads,">
<identifier Org="ISBN:0262620995" Paper_ID="/3522.html" Extracted="0262620995" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:0818683775" Paper_ID="/3522.html" Extracted="0818683775" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:0897917707" Paper_ID="/3522.html" Extracted="0897917707" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:0897919068" Paper_ID="/3522.html" Extracted="0897919068" DDC="005.2/75" Normalized_DDC="005275" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:1581132557" Paper_ID="/3522.html" Extracted="1581132557" />
<identifier Org="ISBN:3540410546" Paper_ID="/3522.html" Extracted="3540410546" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540411720" Paper_ID="/3522.html" Extracted="3540411720" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540414134" Paper_ID="/3522.html" Extracted="3540414134" DDC="005" Normalized_DDC="005" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:354042959X" Paper_ID="/3522.html" Extracted="354042959X" DDC="620.00420285" Normalized_DDC="62000420285" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540578870" Paper_ID="/3522.html" Extracted="3540578870" DDC="005.1/01/5113" Normalized_DDC="0051015113" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540594515" Paper_ID="/3522.html" Extracted="3540594515" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540610553" Paper_ID="/3522.html" Extracted="3540610553" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540617566" Paper_ID="/3522.html" Extracted="3540617566" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540647376" Paper_ID="/3522.html" Extracted="3540647376" DDC="005.1/17" Normalized_DDC="005117" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540650121" Paper_ID="/3522.html" Extracted="3540650121" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540676600" Paper_ID="/3522.html" Extracted="3540676600" DDC="005.1/17" Normalized_DDC="005117" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3642026540" Paper_ID="/3522.html" Extracted="3642026540" />
</rec>
<rec ID="/25073.html" Type="inproceedings" CiteSeer_Book="Proceedings of the 1990 ACM Conference on LISP and Functional Programming Nice" CiteSeer_Volume="" Title="Comprehending Monads,">
<identifier Org="ISBN:0262620995" Paper_ID="/25073.html" Extracted="0262620995" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:0773468935" Paper_ID="/25073.html" Extracted="0773468935" DDC="193" Normalized_DDC="193" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:1581132557" Paper_ID="/25073.html" Extracted="1581132557" />
<identifier Org="ISBN:1586031724" Paper_ID="/25073.html" Extracted="1586031724" DDC="005.101" Normalized_DDC="005101" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540403000" Paper_ID="/25073.html" Extracted="3540403000" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540425586" Paper_ID="/25073.html" Extracted="3540425586" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540432876" Paper_ID="/25073.html" Extracted="3540432876" DDC="006.3/33" Normalized_DDC="006333" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540440445" Paper_ID="/25073.html" Extracted="3540440445" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540535071" Paper_ID="/25073.html" Extracted="3540535071" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540552510" Paper_ID="/25073.html" Extracted="3540552510" DDC="511/.5" Normalized_DDC="5115" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540552537" Paper_ID="/25073.html" Extracted="3540552537" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:354059132X" Paper_ID="/25073.html" Extracted="354059132X" DDC="005.7/3" Normalized_DDC="00573" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540594515" Paper_ID="/25073.html" Extracted="3540594515" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540671021" Paper_ID="/25073.html" Extracted="3540671021" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:354077047X" Paper_ID="/25073.html" Extracted="354077047X" />
<identifier Org="ISBN:3642005896" Paper_ID="/25073.html" Extracted="3642005896" />
<identifier Org="ISBN:3642006086" Paper_ID="/25073.html" Extracted="3642006086" />
</rec>
<rec ID="/28024.html" Type="inproceedings" CiteSeer_Book="IFIP TC 2 Working Conference on Programming Concepts and Methods Sea of Galilee Israel" CiteSeer_Volume="" Title="Linear types can change the world!,">
<identifier Org="ISBN:0521608570" Paper_ID="/28024.html" Extracted="0521608570" DDC="511.36" Normalized_DDC="51136" Normalized_Weight="0.0625" />
<identifier Org="ISBN:1581139454" Paper_ID="/28024.html" Extracted="1581139454" />
<identifier Org="ISBN:3540006222" Paper_ID="/28024.html" Extracted="3540006222" DDC="005.8/2" Normalized_DDC="00582" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540208135" Paper_ID="/28024.html" Extracted="3540208135" DDC="004" Normalized_DDC="004" Normalized_Weight="0.0625" />
<identifier Org="ISBN:354022159X" Paper_ID="/28024.html" Extracted="354022159X" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540255931" Paper_ID="/28024.html" Extracted="3540255931" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540291075" Paper_ID="/28024.html" Extracted="3540291075" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540403256" Paper_ID="/28024.html" Extracted="3540403256" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540405313" Paper_ID="/28024.html" Extracted="3540405313" DDC="005.1/17" Normalized_DDC="005117" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540433635" Paper_ID="/28024.html" Extracted="3540433635" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540442405" Paper_ID="/28024.html" Extracted="3540442405" DDC="005.1/01/5113" Normalized_DDC="0051015113" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540543961" Paper_ID="/28024.html" Extracted="3540543961" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540568913" Paper_ID="/28024.html" Extracted="3540568913" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540575294" Paper_ID="/28024.html" Extracted="3540575294" DDC="004" Normalized_DDC="004" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540662243" Paper_ID="/28024.html" Extracted="3540662243" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />
<identifier Org="ISBN:354066954X" Paper_ID="/28024.html" Extracted="354066954X" DDC="005.1/17" Normalized_DDC="005117" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540672575" Paper_ID="/28024.html" Extracted="3540672575" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />
</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:0262620995" Paper_ID="/10679.html" Extracted="0262620995" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:0521471036" Paper_ID="/10679.html" Extracted="0521471036" DDC="005.7/11" Normalized_DDC="005711" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:0521594146" Paper_ID="/10679.html" Extracted="0521594146" DDC="005.13" Normalized_DDC="00513" 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:1841500704" Paper_ID="/10679.html" Extracted="1841500704" DDC="005.114" Normalized_DDC="005114" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:1841501441" Paper_ID="/10679.html" Extracted="1841501441" />
<identifier Org="ISBN:3540429352" Paper_ID="/10679.html" Extracted="3540429352" DDC="001.64" Normalized_DDC="00164" 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: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: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="/33553.html" Type="inproceedings" CiteSeer_Book="Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science Gdansk" CiteSeer_Volume="" Title="A Taste of Linear Logic,">
<identifier Org="ISBN:041521534X" Paper_ID="/33553.html" Extracted="041521534X" DDC="160" Normalized_DDC="16" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:0444516220" Paper_ID="/33553.html" Extracted="0444516220" DDC="160.9" Normalized_DDC="1609" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540292381" Paper_ID="/33553.html" Extracted="3540292381" DDC="005.1/16" Normalized_DDC="005116" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540412174" Paper_ID="/33553.html" Extracted="3540412174" DDC="004/.01/51" Normalized_DDC="0040151" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540571825" Paper_ID="/33553.html" Extracted="3540571825" DDC="005/.01/51" Normalized_DDC="0050151" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540580271" Paper_ID="/33553.html" Extracted="3540580271" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540600175" Paper_ID="/33553.html" Extracted="3540600175" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540662243" Paper_ID="/33553.html" Extracted="3540662243" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540741291" Paper_ID="/33553.html" Extracted="3540741291" DDC="005.1/14" Normalized_DDC="005114" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540799796" Paper_ID="/33553.html" Extracted="3540799796" />
<identifier Org="ISBN:3540893296" Paper_ID="/33553.html" Extracted="3540893296" />
</rec>
<rec ID="/23610.html" Type="article" CiteSeer_Book="ACM Computing Surveys" CiteSeer_Volume="29" Title="How to declare an imperative,">
<identifier Org="ISBN:0126339511" Paper_ID="/23610.html" Extracted="0126339511" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:0262620995" Paper_ID="/23610.html" Extracted="0262620995" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:026264035X" Paper_ID="/23610.html" Extracted="026264035X" DDC="005.115" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:0824720695" Paper_ID="/23610.html" Extracted="0824720695" DDC="020.3" Normalized_DDC="0203" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:1556198426" Paper_ID="/23610.html" Extracted="1556198426" DDC="153.7/52" Normalized_DDC="153752" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:1586031724" Paper_ID="/23610.html" Extracted="1586031724" DDC="005.101" Normalized_DDC="005101" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:1595930698" Paper_ID="/23610.html" Extracted="1595930698" DDC="005.1/14" Normalized_DDC="005114" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540210024" Paper_ID="/23610.html" Extracted="3540210024" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:354029208X" Paper_ID="/23610.html" Extracted="354029208X" DDC="005.115" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:354043092X" Paper_ID="/23610.html" Extracted="354043092X" DDC="005.131" Normalized_DDC="005131" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540439153" Paper_ID="/23610.html" Extracted="3540439153" DDC="005.1/5" Normalized_DDC="00515" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540649255" Paper_ID="/23610.html" Extracted="3540649255" DDC="005.4/53" Normalized_DDC="005453" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540650121" Paper_ID="/23610.html" Extracted="3540650121" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540656995" Paper_ID="/23610.html" Extracted="3540656995" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540665404" Paper_ID="/23610.html" Extracted="3540665404" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540672818" Paper_ID="/23610.html" Extracted="3540672818" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540746080" Paper_ID="/23610.html" Extracted="3540746080" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />
</rec>
<rec ID="SELF" Type="SELF" CiteSeer_Book="SELF" CiteSeer_Volume="SELF" Title="How to Declare an Imperative">
<identifier Org="ISBN:0126339511" Paper_ID="SELF" Extracted="0126339511" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:0262620995" Paper_ID="SELF" Extracted="0262620995" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:026264035X" Paper_ID="SELF" Extracted="026264035X" DDC="005.115" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:0824720695" Paper_ID="SELF" Extracted="0824720695" DDC="020.3" Normalized_DDC="0203" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:1556198426" Paper_ID="SELF" Extracted="1556198426" DDC="153.7/52" Normalized_DDC="153752" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:1586031724" Paper_ID="SELF" Extracted="1586031724" DDC="005.101" Normalized_DDC="005101" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:1595930698" Paper_ID="SELF" Extracted="1595930698" DDC="005.1/14" Normalized_DDC="005114" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540210024" Paper_ID="SELF" Extracted="3540210024" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:354029208X" Paper_ID="SELF" Extracted="354029208X" DDC="005.115" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:354043092X" Paper_ID="SELF" Extracted="354043092X" DDC="005.131" Normalized_DDC="005131" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540439153" Paper_ID="SELF" Extracted="3540439153" DDC="005.1/5" Normalized_DDC="00515" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540649255" Paper_ID="SELF" Extracted="3540649255" DDC="005.4/53" Normalized_DDC="005453" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540650121" Paper_ID="SELF" Extracted="3540650121" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540656995" Paper_ID="SELF" Extracted="3540656995" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540665404" Paper_ID="SELF" Extracted="3540665404" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540672818" Paper_ID="SELF" Extracted="3540672818" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540746080" Paper_ID="SELF" Extracted="3540746080" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />
</rec>
</references_metadata>