Automatically assigned DDC number: 005131

Manually assigned DDC number: 005131

Number of references: 16

Title: Full Lifting of Type Parameters

Author:

Subject: Yasuhiko Minamide Full Lifting of Type Parameters

Description: Recently explicit type parameter passing has been studied as an attractive approach to utilizing type information in ML. An important issue in this approach is to develop an efficient method of type parameter passing. Tolmach proposed a method based on lazy substitution on types and demonstrated the feasibility of his method in his implementation of tag-free garbage collection. However, there are still some significant costs associated with runtime construction of type parameters in his method. In this paper we propose a refinement of his method based on the transformation which completely eliminates runtime construction of type parameters. The transformation lifts type parameters that cause runtime construction so that they can be constructed statically. We present our transformation as a type preserving translation and prove the correctness of the translation. Furthermore, we describe an implementation of a compiler for Core Standard ML based on our method and compare our method to T...

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 1997-06-16

Pubyear: 1997

Format: ps

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

Source: http://www.score.is.tsukuba.ac.jp/~minamide/fulllift.ps.gz

Language: en

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Rights: unrestricted

Graph

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

<references_metadata>

      <rec   ID="/135220.html"   Type="techreport"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="The   {ML}   Kit   (Version   1),">

            <identifier   Org="ISBN:0262631814"   Paper_ID="/135220.html"   Extracted="0262631814"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:1852335068"   Paper_ID="/135220.html"   Extracted="1852335068"   DDC="004/.36"   Normalized_DDC="00436"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540260439"   Paper_ID="/135220.html"   Extracted="3540260439"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.14285714285714285"   />

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

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

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

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

            <identifier   Org="ISBN:3540653899"   Paper_ID="/135220.html"   Extracted="3540653899"   />

      </rec>

      <rec   ID="/174731.html"   Type="incollection"   CiteSeer_Book="Proceedings   ACM   SIGPLAN   1993   Conf   on   Programming   Language   Design   and   Implementation   PLDI93   Albuquerque   NM   USA   2325   June   1993"   CiteSeer_Volume=""   Title="The   Essence   of   Compiling   with   Continuations,">

            <identifier   Org="ISBN:0897917707"   Paper_ID="/174731.html"   Extracted="0897917707"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0897919068"   Paper_ID="/174731.html"   Extracted="0897919068"   DDC="005.2/75"   Normalized_DDC="005275"   Normalized_Weight="0.0625"   />

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

            <identifier   Org="ISBN:1841501220"   Paper_ID="/174731.html"   Extracted="1841501220"   DDC="005.114"   Normalized_DDC="005114"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540009043"   Paper_ID="/174731.html"   Extracted="3540009043"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540242872"   Paper_ID="/174731.html"   Extracted="3540242872"   DDC="332.1/78"   Normalized_DDC="332178"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540418644"   Paper_ID="/174731.html"   Extracted="3540418644"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540419608"   Paper_ID="/174731.html"   Extracted="3540419608"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.0625"   />

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

            <identifier   Org="ISBN:354043092X"   Paper_ID="/174731.html"   Extracted="354043092X"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.0625"   />

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

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

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

            <identifier   Org="ISBN:354063388X"   Paper_ID="/174731.html"   Extracted="354063388X"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540633987"   Paper_ID="/174731.html"   Extracted="3540633987"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.0625"   />

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

            <identifier   Org="ISBN:3540735941"   Paper_ID="/174731.html"   Extracted="3540735941"   />

            <identifier   Org="ISBN:3540755586"   Paper_ID="/174731.html"   Extracted="3540755586"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.0625"   />

      </rec>

      <rec   ID="/24741.html"   Type="inproceedings"   CiteSeer_Book="Conference   record   of   POPL   94   21st   ACM   SIGPLANSIGACT   Symposium   on   Principles   of   Programming   Languages"   CiteSeer_Volume=""   Title="A   type-theoretic   approach   to   higher-order   modules   with   sharing,">

            <identifier   Org="ISBN:0262631814"   Paper_ID="/24741.html"   Extracted="0262631814"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0897917707"   Paper_ID="/24741.html"   Extracted="0897917707"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:1402081405"   Paper_ID="/24741.html"   Extracted="1402081405"   DDC="004.01"   Normalized_DDC="00401"   Normalized_Weight="0.07142857142857142"   />

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

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

            <identifier   Org="ISBN:1586030159"   Paper_ID="/24741.html"   Extracted="1586030159"   />

            <identifier   Org="ISBN:3540205373"   Paper_ID="/24741.html"   Extracted="3540205373"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07142857142857142"   />

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

            <identifier   Org="ISBN:354021402X"   Paper_ID="/24741.html"   Extracted="354021402X"   />

            <identifier   Org="ISBN:3540221646"   Paper_ID="/24741.html"   Extracted="3540221646"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540403329"   Paper_ID="/24741.html"   Extracted="3540403329"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540405313"   Paper_ID="/24741.html"   Extracted="3540405313"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540421963"   Paper_ID="/24741.html"   Extracted="3540421963"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.07142857142857142"   />

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

            <identifier   Org="ISBN:3540440399"   Paper_ID="/24741.html"   Extracted="3540440399"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540661565"   Paper_ID="/24741.html"   Extracted="3540661565"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540662464"   Paper_ID="/24741.html"   Extracted="3540662464"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540665404"   Paper_ID="/24741.html"   Extracted="3540665404"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.07142857142857142"   />

      </rec>

      <rec   ID="/34344.html"   Type="inproceedings"   CiteSeer_Book="Conference   Record   of   POPL   95   22nd   ACM   SIGPLANSIGACT   Symposium   on   Principles   of   Programming   Languages"   CiteSeer_Volume=""   Title="Compiling   Polymorphism   Using   Intensional   Type   Analysis,">

            <identifier   Org="ISBN:0897917707"   Paper_ID="/34344.html"   Extracted="0897917707"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.09090909090909091"   />

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

            <identifier   Org="ISBN:3540212973"   Paper_ID="/34344.html"   Extracted="3540212973"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540254110"   Paper_ID="/34344.html"   Extracted="3540254110"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540421963"   Paper_ID="/34344.html"   Extracted="3540421963"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.09090909090909091"   />

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

            <identifier   Org="ISBN:3540442359"   Paper_ID="/34344.html"   Extracted="3540442359"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.09090909090909091"   />

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

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

            <identifier   Org="ISBN:3540626883"   Paper_ID="/34344.html"   Extracted="3540626883"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:354063388X"   Paper_ID="/34344.html"   Extracted="354063388X"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.09090909090909091"   />

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

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

            <identifier   Org="ISBN:3540766367"   Paper_ID="/34344.html"   Extracted="3540766367"   />

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

      </rec>

      <rec   ID="/109193.html"   Type="inproceedings"   CiteSeer_Book="Functional   programming   languages   and   computer   architecture   Proc   of   a   conference   Nancy   France   Sept   1985"   CiteSeer_Volume=""   Title="Lambda   lifting:   transforming   programs   to   recursive   equations,">

            <identifier   Org="ISBN:0387557075"   Paper_ID="/109193.html"   Extracted="0387557075"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:0818607289"   Paper_ID="/109193.html"   Extracted="0818607289"   DDC="005"   Normalized_DDC="005"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:0897917200"   Paper_ID="/109193.html"   Extracted="0897917200"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540159754"   Paper_ID="/109193.html"   Extracted="3540159754"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:354018581X"   Paper_ID="/109193.html"   Extracted="354018581X"   />

            <identifier   Org="ISBN:3540190201"   Paper_ID="/109193.html"   Extracted="3540190201"   />

            <identifier   Org="ISBN:3540410546"   Paper_ID="/109193.html"   Extracted="3540410546"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540435379"   Paper_ID="/109193.html"   Extracted="3540435379"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540539042"   Paper_ID="/109193.html"   Extracted="3540539042"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540543961"   Paper_ID="/109193.html"   Extracted="3540543961"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.07692307692307693"   />

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

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

            <identifier   Org="ISBN:3540606882"   Paper_ID="/109193.html"   Extracted="3540606882"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07692307692307693"   />

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

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

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

      </rec>

      <rec   ID="/428352.html"   Type="incollection"   CiteSeer_Book="ESOP   92   4th   European   Symposium   on   Programming   Rennes   France   February   1992   Proceedings"   CiteSeer_Volume=""   Title="A   Theory   of   Qualified   Types,">

            <identifier   Org="ISBN:0897919068"   Paper_ID="/428352.html"   Extracted="0897919068"   DDC="005.2/75"   Normalized_DDC="005275"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:1581137583"   Paper_ID="/428352.html"   Extracted="1581137583"   DDC="005.133"   Normalized_DDC="005133"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:1581138504"   Paper_ID="/428352.html"   Extracted="1581138504"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.07692307692307693"   />

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

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

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

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

            <identifier   Org="ISBN:3540603603"   Paper_ID="/428352.html"   Extracted="3540603603"   DDC="005.1/31"   Normalized_DDC="005131"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540625038"   Paper_ID="/428352.html"   Extracted="3540625038"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540648496"   Paper_ID="/428352.html"   Extracted="3540648496"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540666249"   Paper_ID="/428352.html"   Extracted="3540666249"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.07692307692307693"   />

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

            <identifier   Org="ISBN:3540679596"   Paper_ID="/428352.html"   Extracted="3540679596"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:9051994176"   Paper_ID="/428352.html"   Extracted="9051994176"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.07692307692307693"   />

      </rec>

      <rec   ID="/560158.html"   Type="inproceedings"   CiteSeer_Book="Conference   Record   of   the   Nineteenth   Annual   ACM   SIGPLANSIGACT   Symposium   on   Principles   of   Programming   Languages"   CiteSeer_Volume=""   Title="Unboxed   Objects   and   Polymorphic   Typing,">

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

            <identifier   Org="ISBN:0897916972"   Paper_ID="/560158.html"   Extracted="0897916972"   />

            <identifier   Org="ISBN:0897917707"   Paper_ID="/560158.html"   Extracted="0897917707"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07692307692307693"   />

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

            <identifier   Org="ISBN:3540212973"   Paper_ID="/560158.html"   Extracted="3540212973"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540435379"   Paper_ID="/560158.html"   Extracted="3540435379"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540442359"   Paper_ID="/560158.html"   Extracted="3540442359"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540568832"   Paper_ID="/560158.html"   Extracted="3540568832"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07692307692307693"   />

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

            <identifier   Org="ISBN:3540584854"   Paper_ID="/560158.html"   Extracted="3540584854"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.07692307692307693"   />

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

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

            <identifier   Org="ISBN:354063388X"   Paper_ID="/560158.html"   Extracted="354063388X"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.07692307692307693"   />

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

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

      </rec>

      <rec   ID="/51679.html"   Type="inproceedings"   CiteSeer_Book="Symposium   on   Principles   of   Programming   Languages"   CiteSeer_Volume=""   Title="Typed   Closure   Conversion,">

            <identifier   Org="ISBN:0521631688"   Paper_ID="/51679.html"   Extracted="0521631688"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0897919068"   Paper_ID="/51679.html"   Extracted="0897919068"   DDC="005.2/75"   Normalized_DDC="005275"   Normalized_Weight="0.06666666666666667"   />

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

            <identifier   Org="ISBN:1581136056"   Paper_ID="/51679.html"   Extracted="1581136056"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.06666666666666667"   />

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

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

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

            <identifier   Org="ISBN:3540421963"   Paper_ID="/51679.html"   Extracted="3540421963"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.06666666666666667"   />

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

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

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

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

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

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

            <identifier   Org="ISBN:3540667105"   Paper_ID="/51679.html"   Extracted="3540667105"   DDC="005"   Normalized_DDC="005"   Normalized_Weight="0.06666666666666667"   />

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

            <identifier   Org="ISBN:3540786627"   Paper_ID="/51679.html"   Extracted="3540786627"   DDC="005.8"   Normalized_DDC="0058"   Normalized_Weight="0.06666666666666667"   />

      </rec>

      <rec   ID="/142873.html"   Type="article"   CiteSeer_Book="ACM   Transactions   on   Programming   Languages   and   Systems"   CiteSeer_Volume="13"   Title="An   Ad   Hoc   Approach   to   the   Implementation   of   Polymorphism,">

            <identifier   Org="ISBN:0818624256"   Paper_ID="/142873.html"   Extracted="0818624256"   />

            <identifier   Org="ISBN:0849373425"   Paper_ID="/142873.html"   Extracted="0849373425"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:0897919068"   Paper_ID="/142873.html"   Extracted="0897919068"   DDC="005.2/75"   Normalized_DDC="005275"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:1581133596"   Paper_ID="/142873.html"   Extracted="1581133596"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540196463"   Paper_ID="/142873.html"   Extracted="3540196463"   DDC="005.8"   Normalized_DDC="0058"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540198539"   Paper_ID="/142873.html"   Extracted="3540198539"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.1111111111111111"   />

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

            <identifier   Org="ISBN:3540625992"   Paper_ID="/142873.html"   Extracted="3540625992"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.1111111111111111"   />

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

            <identifier   Org="ISBN:354065772X"   Paper_ID="/142873.html"   Extracted="354065772X"   DDC="745.594/1"   Normalized_DDC="7455941"   Normalized_Weight="0.1111111111111111"   />

      </rec>

      <rec   ID="/408050.html"   Type="inproceedings"   CiteSeer_Book="Conference   Record   of   the   Nineteenth   Annual   ACM   SIGPLANSIGACT   Symposium   on   Principles   of   Programming   Languages"   CiteSeer_Volume=""   Title="A   Compilation   Method   for   {ML}-Style   Polymorphic   Record   Calculi,">

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

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

            <identifier   Org="ISBN:0897916425"   Paper_ID="/408050.html"   Extracted="0897916425"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.09090909090909091"   />

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

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

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

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

            <identifier   Org="ISBN:3540616292"   Paper_ID="/408050.html"   Extracted="3540616292"   DDC="005.7/3"   Normalized_DDC="00573"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:354063388X"   Paper_ID="/408050.html"   Extracted="354063388X"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540638768"   Paper_ID="/408050.html"   Extracted="3540638768"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.09090909090909091"   />

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

      </rec>

      <rec   ID="/419871.html"   Type="article"   CiteSeer_Book="ACM   Transactions   on   Programming   Languages   and   Systems"   CiteSeer_Volume="17"   Title="A   Polymorphic   Record   Calculus   and   Its   Compilation,">

            <identifier   Org="ISBN:0262162288"   Paper_ID="/419871.html"   Extracted="0262162288"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:052156543X"   Paper_ID="/419871.html"   Extracted="052156543X"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:1581138504"   Paper_ID="/419871.html"   Extracted="1581138504"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:1595930671"   Paper_ID="/419871.html"   Extracted="1595930671"   DDC="005.1/14"   Normalized_DDC="005114"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:1595933883"   Paper_ID="/419871.html"   Extracted="1595933883"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.07142857142857142"   />

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

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

            <identifier   Org="ISBN:3540435379"   Paper_ID="/419871.html"   Extracted="3540435379"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.07142857142857142"   />

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

            <identifier   Org="ISBN:354063388X"   Paper_ID="/419871.html"   Extracted="354063388X"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.07142857142857142"   />

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

            <identifier   Org="ISBN:3540653880"   Paper_ID="/419871.html"   Extracted="3540653880"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540672621"   Paper_ID="/419871.html"   Extracted="3540672621"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07142857142857142"   />

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

            <identifier   Org="ISBN:3540739998"   Paper_ID="/419871.html"   Extracted="3540739998"   DDC="303.48/2"   Normalized_DDC="303482"   Normalized_Weight="0.07142857142857142"   />

      </rec>

      <rec   ID="/305444.html"   Type="inproceedings"   CiteSeer_Book="Proc   ACM   SIGPLAN   95   Conference   on   Programming   Language   Design   and   Implementation"   CiteSeer_Volume=""   Title="{A}   Type-based   Compiler   for   Standard   {ML},">

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

            <identifier   Org="ISBN:0521607655"   Paper_ID="/305444.html"   Extracted="0521607655"   DDC="005.453"   Normalized_DDC="005453"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0897916972"   Paper_ID="/305444.html"   Extracted="0897916972"   />

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

            <identifier   Org="ISBN:0897919068"   Paper_ID="/305444.html"   Extracted="0897919068"   DDC="005.2/75"   Normalized_DDC="005275"   Normalized_Weight="0.08333333333333333"   />

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

            <identifier   Org="ISBN:1595933883"   Paper_ID="/305444.html"   Extracted="1595933883"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.08333333333333333"   />

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

            <identifier   Org="ISBN:3540410902"   Paper_ID="/305444.html"   Extracted="3540410902"   DDC="005"   Normalized_DDC="005"   Normalized_Weight="0.08333333333333333"   />

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

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

            <identifier   Org="ISBN:3540627812"   Paper_ID="/305444.html"   Extracted="3540627812"   DDC="005.1/2"   Normalized_DDC="00512"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540648496"   Paper_ID="/305444.html"   Extracted="3540648496"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.08333333333333333"   />

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

      </rec>

      <rec   ID="/610308.html"   Type="inproceedings"   CiteSeer_Book="Proc   ACM   SIGPLAN   96   Conference   on   Programming   Language   Design   and   Implementation"   CiteSeer_Volume=""   Title="{TIL}:   {A}   Type-Directed   Optimizing   Compiler   for   {ML},">

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

            <identifier   Org="ISBN:084931240X"   Paper_ID="/610308.html"   Extracted="084931240X"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0897919068"   Paper_ID="/610308.html"   Extracted="0897919068"   DDC="005.2/75"   Normalized_DDC="005275"   Normalized_Weight="0.06666666666666667"   />

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

            <identifier   Org="ISBN:3540212973"   Paper_ID="/610308.html"   Extracted="3540212973"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:354030553X"   Paper_ID="/610308.html"   Extracted="354030553X"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540420681"   Paper_ID="/610308.html"   Extracted="3540420681"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540421963"   Paper_ID="/610308.html"   Extracted="3540421963"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540422064"   Paper_ID="/610308.html"   Extracted="3540422064"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.06666666666666667"   />

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

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

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

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

            <identifier   Org="ISBN:3540664084"   Paper_ID="/610308.html"   Extracted="3540664084"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.06666666666666667"   />

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

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

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

      </rec>

      <rec   ID="/52227.html"   Type="inproceedings"   CiteSeer_Book="LISP   and   Functional   Programming"   CiteSeer_Volume=""   Title="Tag-Free   Garbage   Collection   Using   Explicit   Type   Parameters,">

            <identifier   Org="ISBN:0471941484"   Paper_ID="/52227.html"   Extracted="0471941484"   DDC="005.4/2"   Normalized_DDC="00542"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0521582741"   Paper_ID="/52227.html"   Extracted="0521582741"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0521607655"   Paper_ID="/52227.html"   Extracted="0521607655"   DDC="005.453"   Normalized_DDC="005453"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0521631688"   Paper_ID="/52227.html"   Extracted="0521631688"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0897919068"   Paper_ID="/52227.html"   Extracted="0897919068"   DDC="005.2/75"   Normalized_DDC="005275"   Normalized_Weight="0.09090909090909091"   />

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

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

            <identifier   Org="ISBN:1841500240"   Paper_ID="/52227.html"   Extracted="1841500240"   DDC="005.1/14"   Normalized_DDC="005114"   Normalized_Weight="0.09090909090909091"   />

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

            <identifier   Org="ISBN:354063388X"   Paper_ID="/52227.html"   Extracted="354063388X"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.09090909090909091"   />

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

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

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

      </rec>

      <rec   ID="/49304.html"   Type="techreport"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Polymorphism   for   Imperative   Languages   without   Imperative   Types,">

            <identifier   Org="ISBN:019853762X"   Paper_ID="/49304.html"   Extracted="019853762X"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:0521543266"   Paper_ID="/49304.html"   Extracted="0521543266"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:084931240X"   Paper_ID="/49304.html"   Extracted="084931240X"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:0897919068"   Paper_ID="/49304.html"   Extracted="0897919068"   DDC="005.2/75"   Normalized_DDC="005275"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540568832"   Paper_ID="/49304.html"   Extracted="3540568832"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.125"   />

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

            <identifier   Org="ISBN:3540631410"   Paper_ID="/49304.html"   Extracted="3540631410"   />

            <identifier   Org="ISBN:354063388X"   Paper_ID="/49304.html"   Extracted="354063388X"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.125"   />

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

      </rec>

      <rec   ID="/18885.html"   Type="article"   CiteSeer_Book="Information   and   Computation"   CiteSeer_Volume="115"   Title="A   Syntactic   Approach   to   Type   Soundness,">

            <identifier   Org="ISBN:0818627352"   Paper_ID="/18885.html"   Extracted="0818627352"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0849315867"   Paper_ID="/18885.html"   Extracted="0849315867"   DDC="620"   Normalized_DDC="62"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540208038"   Paper_ID="/18885.html"   Extracted="3540208038"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540230173"   Paper_ID="/18885.html"   Extracted="3540230173"   DDC="511.36028563"   Normalized_DDC="51136028563"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540237240"   Paper_ID="/18885.html"   Extracted="3540237240"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540291067"   Paper_ID="/18885.html"   Extracted="3540291067"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.07142857142857142"   />

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

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

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

            <identifier   Org="ISBN:3540625038"   Paper_ID="/18885.html"   Extracted="3540625038"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540664084"   Paper_ID="/18885.html"   Extracted="3540664084"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540665374"   Paper_ID="/18885.html"   Extracted="3540665374"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540678638"   Paper_ID="/18885.html"   Extracted="3540678638"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540744061"   Paper_ID="/18885.html"   Extracted="3540744061"   />

            <identifier   Org="ISBN:3540766367"   Paper_ID="/18885.html"   Extracted="3540766367"   />

            <identifier   Org="ISBN:3540787380"   Paper_ID="/18885.html"   Extracted="3540787380"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07142857142857142"   />

      </rec>

      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="Full   Lifting   of   Type   Parameters">

            <identifier   Org="ISBN:3540649255"   Paper_ID="SELF"   Extracted="3540649255"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="1.0"   />

      </rec>

</references_metadata>

www.000webhost.com