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