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>