Automatically assigned DDC number: 005131

Manually assigned DDC number: 005131

Number of references: 16

Title: ML-Style Typing, Lambda Lifting, and Partial Evaluation

Author:

Subject: Peter Thiemann ML-Style Typing, Lambda Lifting, and Partial Evaluation

Description: . Lambda lifting transforms local function definitions in functional programming languages into global ones to facilitate their efficient implementation. When considered as a source-to-source transformation for an ML-style typed language, all published algorithms for lambda lifting break typability. We break down two representative lambda lifting algorithms into four elementary transformation steps, analyze their typing properties, and define alternative steps that preserve ML typability where appropriate. Putting the revised steps together, we define a lambda lifter that preserves ML-style typability. Our algorithm provides a starting point for implementing efficient generating extensions that perform offline partial evaluation for polymorphically typed languages. 1 Introduction Lambda lifting is one of the standard transformations in the tool box of the implementor of functional programming languages. Its task is to close local function definitions by parameterizing them...

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 1999-02-01

Pubyear: 1999

Format: ps

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

Source: http://www.informatik.uni-freiburg.de/~thiemann/papers/clapf99.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="/35322.html"   Type="inproceedings"   CiteSeer_Book="Functional   Programming   Languages   and   Computer   Architecture"   CiteSeer_Volume=""   Title="Compiler-directed   Type   Reconstruction   for   Polymorphic   Languages,">

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

            <identifier   Org="ISBN:1558606440"   Paper_ID="/35322.html"   Extracted="1558606440"   DDC="005.2/75"   Normalized_DDC="005275"   Normalized_Weight="0.3333333333333333"   />

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

      </rec>

      <rec   ID="/114346.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   ACM   SIGPLAN   International   Conference   on   Functional   Programming   ICFP   97"   CiteSeer_Volume=""   Title="Type-driven   Defunctionalization,">

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

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

            <identifier   Org="ISBN:3540260943"   Paper_ID="/114346.html"   Extracted="3540260943"   DDC="005.1/14"   Normalized_DDC="005114"   Normalized_Weight="0.25"   />

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

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

      </rec>

      <rec   ID="/14668.html"   Type="article"   CiteSeer_Book="Science   of   Computer   Programming"   CiteSeer_Volume="16"   Title="Automatic   Autoprojection   of   Recursive   Equations   with   Global   Variables   and   Abstract   Data   Types,">

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

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

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

            <identifier   Org="ISBN:3540197974"   Paper_ID="/14668.html"   Extracted="3540197974"   DDC="005.1/01/512"   Normalized_DDC="005101512"   Normalized_Weight="0.058823529411764705"   />

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

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

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

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

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

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

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

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

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

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

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

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

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

      </rec>

      <rec   ID="/531080.html"   Type="inproceedings"   CiteSeer_Book="Conference   Record   of   the   1980   LISP   Conference"   CiteSeer_Volume=""   Title="{Hope:   An   Experimental   Applicative   Language},">

            <identifier   Org="ISBN:0521245036"   Paper_ID="/531080.html"   Extracted="0521245036"   DDC="001.64/2"   Normalized_DDC="001642"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540139389"   Paper_ID="/531080.html"   Extracted="3540139389"   />

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

            <identifier   Org="ISBN:3540164421"   Paper_ID="/531080.html"   Extracted="3540164421"   />

            <identifier   Org="ISBN:3540182039"   Paper_ID="/531080.html"   Extracted="3540182039"   />

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

            <identifier   Org="ISBN:354019021X"   Paper_ID="/531080.html"   Extracted="354019021X"   />

            <identifier   Org="ISBN:3540190279"   Paper_ID="/531080.html"   Extracted="3540190279"   />

            <identifier   Org="ISBN:3540250514"   Paper_ID="/531080.html"   Extracted="3540250514"   DDC="511.3/6/028563"   Normalized_DDC="51136028563"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540503250"   Paper_ID="/531080.html"   Extracted="3540503250"   />

            <identifier   Org="ISBN:3540510818"   Paper_ID="/531080.html"   Extracted="3540510818"   />

            <identifier   Org="ISBN:3540522921"   Paper_ID="/531080.html"   Extracted="3540522921"   />

            <identifier   Org="ISBN:3540541527"   Paper_ID="/531080.html"   Extracted="3540541527"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:354057316X"   Paper_ID="/531080.html"   Extracted="354057316X"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540582355"   Paper_ID="/531080.html"   Extracted="3540582355"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.14285714285714285"   />

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

      </rec>

      <rec   ID="/505146.html"   Type="article"   CiteSeer_Book="Theoretical   Computer   Science"   CiteSeer_Volume="248"   Title="Lambda-dropping:   transforming   recursive   equations   into   programs   with   block   structure,">

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

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

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

            <identifier   Org="ISBN:3540003266"   Paper_ID="/505146.html"   Extracted="3540003266"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.16666666666666666"   />

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

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

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

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

      </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="/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.07142857142857142"   />

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

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

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

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

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

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

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

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

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

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

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

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

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

            <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.07142857142857142"   />

      </rec>

      <rec   ID="/25492.html"   Type="inproceedings"   CiteSeer_Book="Proc   UK   Joint   Framework   for   Information   Technology   JFIT   Technical   Conference"   CiteSeer_Volume=""   Title="The   Glasgow   Haskell   compiler:   a   technical   overview,">

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

            <identifier   Org="ISBN:1586036718"   Paper_ID="/25492.html"   Extracted="1586036718"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:1841500585"   Paper_ID="/25492.html"   Extracted="1841500585"   />

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

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

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

            <identifier   Org="ISBN:3540250174"   Paper_ID="/25492.html"   Extracted="3540250174"   />

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

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

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

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

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

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

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

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

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

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

      </rec>

      <rec   ID="/98478.html"   Type="article"   CiteSeer_Book="Software      Practice   and   Experience"   CiteSeer_Volume="21"   Title="A   Modular   Fully-lazy   Lambda   Lifter   in   {HASKELL},">

            <identifier   Org="ISBN:0120371057"   Paper_ID="/98478.html"   Extracted="0120371057"   />

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

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

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

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

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

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

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

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

      </rec>

      <rec   ID="/124744.html"   Type="inproceedings"   CiteSeer_Book="Types   in   Compilation"   CiteSeer_Volume=""   Title="Optimal   Type   Lifting,">

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

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

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

      </rec>

      <rec   ID="/59829.html"   Type="inproceedings"   CiteSeer_Book="Programming   Language   Implementation   and   Logic   Programming   Aachen   Germany   September   1997   Lecture   Notes   in   Computer   Science   vol   1140"   CiteSeer_Volume=""   Title="Implementing   Memoization   for   Partial   Evaluation,">

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

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

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

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

      </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="/254898.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Combining   closure   conversion   with   closure   analysis   using   algebraic   types,">

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

      </rec>

      <rec   ID="/274026.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="From   ML   to   Ada:   Strongly-typed   language   interoperability   via   source   translation,">

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

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

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

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

            <identifier   Org="ISBN:3540664432"   Paper_ID="/274026.html"   Extracted="3540664432"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.16666666666666666"   />

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

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

            <identifier   Org="ISBN:3540787992"   Paper_ID="/274026.html"   Extracted="3540787992"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.16666666666666666"   />

      </rec>

      <rec   ID="/250500.html"   Type="incollection"   CiteSeer_Book="Proceedings   4th   Int   Conf   on   Funct   Prog   Languages   and   Computer   Arch   FPCA89   London   UK   1113   Sept   1989"   CiteSeer_Volume=""   Title="Theorems   for   Free!,">

            <identifier   Org="ISBN:0387405623"   Paper_ID="/250500.html"   Extracted="0387405623"   DDC="512/.2"   Normalized_DDC="5122"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0521773121"   Paper_ID="/250500.html"   Extracted="0521773121"   DDC="519.282"   Normalized_DDC="519282"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0792301161"   Paper_ID="/250500.html"   Extracted="0792301161"   DDC="512/.2"   Normalized_DDC="5122"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0821802011"   Paper_ID="/250500.html"   Extracted="0821802011"   DDC="512/.2/08"   Normalized_DDC="512208"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0821827405"   Paper_ID="/250500.html"   Extracted="0821827405"   DDC="514"   Normalized_DDC="514"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0824740513"   Paper_ID="/250500.html"   Extracted="0824740513"   DDC="512/.4"   Normalized_DDC="5124"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540201947"   Paper_ID="/250500.html"   Extracted="3540201947"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.07142857142857142"   />

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

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

            <identifier   Org="ISBN:3540411585"   Paper_ID="/250500.html"   Extracted="3540411585"   DDC="512/.2"   Normalized_DDC="5122"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540434194"   Paper_ID="/250500.html"   Extracted="3540434194"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.07142857142857142"   />

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

            <identifier   Org="ISBN:3540544968"   Paper_ID="/250500.html"   Extracted="3540544968"   DDC="005.7/3"   Normalized_DDC="00573"   Normalized_Weight="0.07142857142857142"   />

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

      </rec>

      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="ML-Style   Typing,   Lambda   Lifting,   and   Partial   Evaluation"   />

</references_metadata>

www.000webhost.com