Automatically assigned DDC number: 005131
Manually assigned DDC number: 005131
Number of references: 31
Title: CPS Translations and Applications: The Cube and Beyond
Author:
Author:
Author:
Subject: Gilles Barthe,John Hatcliff,Morten Heine CPS Translations and Applications: The Cube and Beyond
Description: Continuation passing style (CPS) translations of typed -calculi have numerous applications. However, the range of these applications has been confined by the fact that CPS translations are known for non-dependent type systems only, thus excluding well-known systems like the calculus of constructions (CC) and the logical frameworks (LF). This paper presents techniques for CPS translating systems with dependent types, with an emphasis on pure type-theoretical applications. In the first part of the paper we review several lines of work in which the need for CPS translations of dependent type systems has arisen, and discuss the difficulties involved with CPS translating such systems. One way of overcoming these difficulties is to work with so-called domain-free type systems. Thus, instead of Barendregt's -cube we shall consider the domain-free -cube, and instead of traditional pure type systems, we shall consider domain-free pure type systems. We therefore begin the second part by reviewi...
Contributor: The Pennsylvania State University CiteSeer Archives
Publisher: unknown
Date: 1998-10-11
Pubyear: 1998
Format: ps
Identifier: http://citeseer.ist.psu.edu/62855.html
Source: http://www.di.uminho.pt/~gilles/Papers/cps.ps.gz
Language: en
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Rights: unrestricted
<?xml version="1.0" encoding="UTF-8"?>
<references_metadata>
<rec ID="/193289.html" Type="incollection" CiteSeer_Book="Handbook of Logic in Computer Science Volumes 1 Background Mathematical Structures and 2 Background Computational Structures Abramsky Gabbay Maibaum Eds Clarendon" CiteSeer_Volume="" Title="Lambda Calculi with Types,">
<identifier Org="ISBN:0198537611" Paper_ID="/193289.html" Extracted="0198537611" DDC="004" Normalized_DDC="004" Normalized_Weight="0.0625" />
<identifier Org="ISBN:0521413001" Paper_ID="/193289.html" Extracted="0521413001" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540221646" Paper_ID="/193289.html" Extracted="3540221646" DDC="005.131" Normalized_DDC="005131" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540230246" Paper_ID="/193289.html" Extracted="3540230246" DDC="005.1/01/5113" Normalized_DDC="0051015113" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540255931" Paper_ID="/193289.html" Extracted="3540255931" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540314288" Paper_ID="/193289.html" Extracted="3540314288" DDC="005.131" Normalized_DDC="005131" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540403329" Paper_ID="/193289.html" Extracted="3540403329" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540440445" Paper_ID="/193289.html" Extracted="3540440445" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540565175" Paper_ID="/193289.html" Extracted="3540565175" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540580859" Paper_ID="/193289.html" Extracted="3540580859" DDC="005.1/01/5113" Normalized_DDC="0051015113" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540605797" Paper_ID="/193289.html" Extracted="3540605797" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540630457" Paper_ID="/193289.html" Extracted="3540630457" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540651373" Paper_ID="/193289.html" Extracted="3540651373" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540657193" Paper_ID="/193289.html" Extracted="3540657193" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.0625" />
<identifier Org="ISBN:354067778X" Paper_ID="/193289.html" Extracted="354067778X" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540678638" Paper_ID="/193289.html" Extracted="3540678638" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540732276" Paper_ID="/193289.html" Extracted="3540732276" />
<identifier Org="ISBN:3540744630" Paper_ID="/193289.html" Extracted="3540744630" />
</rec>
<rec ID="/6387.html" Type="incollection" CiteSeer_Book="Proceedings 9th Int Symp on Prog Lang Implementations Logics and Programs PLILP97 Southampton UK 35 Sept 1997" CiteSeer_Volume="" Title="Reflections on Reflections,">
<identifier Org="ISBN:0275991172" Paper_ID="/6387.html" Extracted="0275991172" DDC="823/.912" Normalized_DDC="823912" Normalized_Weight="0.1" />
<identifier Org="ISBN:0470089466" Paper_ID="/6387.html" Extracted="0470089466" DDC="516" Normalized_DDC="516" Normalized_Weight="0.1" />
<identifier Org="ISBN:0521256054" Paper_ID="/6387.html" Extracted="0521256054" DDC="155.4/13" Normalized_DDC="155413" Normalized_Weight="0.1" />
<identifier Org="ISBN:0674003020" Paper_ID="/6387.html" Extracted="0674003020" DDC="814/.54" Normalized_DDC="81454" Normalized_Weight="0.1" />
<identifier Org="ISBN:0807846449" Paper_ID="/6387.html" Extracted="0807846449" />
<identifier Org="ISBN:0827607628" Paper_ID="/6387.html" Extracted="0827607628" DDC="809/.88924" Normalized_DDC="80988924" Normalized_Weight="0.1" />
<identifier Org="ISBN:0940450585" Paper_ID="/6387.html" Extracted="0940450585" DDC="973.8/2/092" Normalized_DDC="97382092" Normalized_Weight="0.1" />
<identifier Org="ISBN:0965771628" Paper_ID="/6387.html" Extracted="0965771628" DDC="299.5/1282" Normalized_DDC="29951282" Normalized_Weight="0.1" />
<identifier Org="ISBN:1596059990" Paper_ID="/6387.html" Extracted="1596059990" />
<identifier Org="ISBN:3540633987" Paper_ID="/6387.html" Extracted="3540633987" DDC="005.13/3" Normalized_DDC="005133" Normalized_Weight="0.1" />
<identifier Org="ISBN:8120824687" Paper_ID="/6387.html" Extracted="8120824687" DDC="294.307" Normalized_DDC="294307" Normalized_Weight="0.1" />
<identifier Org="ISBN:9027234752" Paper_ID="/6387.html" Extracted="9027234752" DDC="401/.93" Normalized_DDC="40193" Normalized_Weight="0.1" />
</rec>
<rec ID="/487100.html" Type="incollection" CiteSeer_Book="Proc of 2nd ACM SIGPLAN Workshop on Continuations CW97 Paris France 14 Jan 1997" CiteSeer_Volume="" Title="{CPS} Translations and Applications: The Cube and Beyond (Preliminary Report)," />
<rec ID="/91961.html" Type="inproceedings" CiteSeer_Book="Mathematical foundations of programming semantics" CiteSeer_Volume="" Title="A Notion of Classical Pure Type Systems," />
<rec ID="/498989.html" Type="article" CiteSeer_Book="Theoretical Computer Science" CiteSeer_Volume="269" Title="Weak normalization implies strong normalization in a class of non-dependent pure type systems,">
<identifier Org="ISBN:0444520775" Paper_ID="/498989.html" Extracted="0444520775" DDC="511.3/26" Normalized_DDC="511326" Normalized_Weight="1.0" />
</rec>
<rec ID="/377198.html" Type="article" CiteSeer_Book="Theoretical Computer Science" CiteSeer_Volume="266" Title="An induction principle for pure type systems,">
<identifier Org="ISBN:3540659226" Paper_ID="/377198.html" Extracted="3540659226" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="1.0" />
</rec>
<rec ID="/137017.html" Type="misc" CiteSeer_Book="" CiteSeer_Volume="" Title="Monadic type systems: Pure type systems for impure settings,">
<identifier Org="ISBN:159593071X" Paper_ID="/137017.html" Extracted="159593071X" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.25" />
<identifier Org="ISBN:354014031X" Paper_ID="/137017.html" Extracted="354014031X" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.25" />
<identifier Org="ISBN:3540255931" Paper_ID="/137017.html" Extracted="3540255931" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.25" />
<identifier Org="ISBN:3540440445" Paper_ID="/137017.html" Extracted="3540440445" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.25" />
</rec>
<rec ID="/480105.html" Type="article" CiteSeer_Book="Journal of Functional Programming" CiteSeer_Volume="10" Title="Domain-Free Pure Type Systems,">
<identifier Org="ISBN:0444520775" Paper_ID="/480105.html" Extracted="0444520775" DDC="511.3/26" Normalized_DDC="511326" Normalized_Weight="0.125" />
<identifier Org="ISBN:1402023340" Paper_ID="/480105.html" Extracted="1402023340" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.125" />
<identifier Org="ISBN:354014031X" Paper_ID="/480105.html" Extracted="354014031X" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.125" />
<identifier Org="ISBN:3540440445" Paper_ID="/480105.html" Extracted="3540440445" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.125" />
<identifier Org="ISBN:3540630457" Paper_ID="/480105.html" Extracted="3540630457" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.125" />
<identifier Org="ISBN:3540634592" Paper_ID="/480105.html" Extracted="3540634592" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.125" />
<identifier Org="ISBN:3540657630" Paper_ID="/480105.html" Extracted="3540657630" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.125" />
<identifier Org="ISBN:3540678239" Paper_ID="/480105.html" Extracted="3540678239" DDC="004" Normalized_DDC="004" Normalized_Weight="0.125" />
<identifier Org="ISBN:3540875301" Paper_ID="/480105.html" Extracted="3540875301" />
</rec>
<rec ID="/101559.html" Type="inproceedings" CiteSeer_Book="Functional Programming Languages and Computer Architecture Cambridge Massachusetts August 1991 Lecture Notes in Computer Science vol 523" CiteSeer_Volume="" Title="For a Better Support of Static Data Flow,">
<identifier Org="ISBN:0130202495" Paper_ID="/101559.html" Extracted="0130202495" DDC="005.4/5" Normalized_DDC="00545" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:0444520775" Paper_ID="/101559.html" Extracted="0444520775" DDC="511.3/26" Normalized_DDC="511326" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:0897915941" Paper_ID="/101559.html" Extracted="0897915941" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540198423" Paper_ID="/101559.html" Extracted="3540198423" DDC="005.1/01/5113" Normalized_DDC="0051015113" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540403256" Paper_ID="/101559.html" Extracted="3540403256" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540543961" Paper_ID="/101559.html" Extracted="3540543961" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540552537" Paper_ID="/101559.html" Extracted="3540552537" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540580271" Paper_ID="/101559.html" Extracted="3540580271" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540584021" Paper_ID="/101559.html" Extracted="3540584021" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:354060359X" Paper_ID="/101559.html" Extracted="354060359X" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540603603" Paper_ID="/101559.html" Extracted="3540603603" DDC="005.1/31" Normalized_DDC="005131" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:354063388X" Paper_ID="/101559.html" Extracted="354063388X" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540643028" Paper_ID="/101559.html" Extracted="3540643028" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540659684" Paper_ID="/101559.html" Extracted="3540659684" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540886427" Paper_ID="/101559.html" Extracted="3540886427" />
</rec>
<rec ID="/156765.html" Type="article" CiteSeer_Book="Journal of Functional Programming" CiteSeer_Volume="4" Title="A - Translation and Looping Combinators in Pure Type Systems,">
<identifier Org="ISBN:3540314288" Paper_ID="/156765.html" Extracted="3540314288" DDC="005.131" Normalized_DDC="005131" Normalized_Weight="0.3333333333333333" />
<identifier Org="ISBN:3540363491" Paper_ID="/156765.html" Extracted="3540363491" DDC="510.92" Normalized_DDC="51092" Normalized_Weight="0.3333333333333333" />
<identifier Org="ISBN:3540440445" Paper_ID="/156765.html" Extracted="3540440445" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.3333333333333333" />
</rec>
<rec ID="/505897.html" Type="inproceedings" CiteSeer_Book="Proceedings of the 1992 ACM Conference on Lisp and Functional Programming" CiteSeer_Volume="" Title="Back to Direct Style {II}: First-Class Continuations,">
<identifier Org="ISBN:184150176X" Paper_ID="/505897.html" Extracted="184150176X" />
<identifier Org="ISBN:3540552537" Paper_ID="/505897.html" Extracted="3540552537" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.25" />
<identifier Org="ISBN:3540580271" Paper_ID="/505897.html" Extracted="3540580271" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.25" />
<identifier Org="ISBN:3540662243" Paper_ID="/505897.html" Extracted="3540662243" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.25" />
<identifier Org="ISBN:3540672621" Paper_ID="/505897.html" Extracted="3540672621" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.25" />
</rec>
<rec ID="/4699.html" Type="inproceedings" CiteSeer_Book="Int Conference on Functional Programming" CiteSeer_Volume="" Title="Type Specialisation for Imperative Languages,">
<identifier Org="ISBN:0897919068" Paper_ID="/4699.html" Extracted="0897919068" DDC="005.2/75" Normalized_DDC="005275" Normalized_Weight="0.2" />
<identifier Org="ISBN:3540235809" Paper_ID="/4699.html" Extracted="3540235809" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.2" />
<identifier Org="ISBN:3540643028" Paper_ID="/4699.html" Extracted="3540643028" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.2" />
<identifier Org="ISBN:3540667105" Paper_ID="/4699.html" Extracted="3540667105" DDC="005" Normalized_DDC="005" Normalized_Weight="0.2" />
<identifier Org="ISBN:3540672621" Paper_ID="/4699.html" Extracted="3540672621" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.2" />
</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:0521582741" Paper_ID="/174731.html" Extracted="0521582741" DDC="005.4/53" Normalized_DDC="005453" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:0897917707" Paper_ID="/174731.html" Extracted="0897917707" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:0897919068" Paper_ID="/174731.html" Extracted="0897919068" DDC="005.2/75" Normalized_DDC="005275" Normalized_Weight="0.06666666666666667" />
<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.06666666666666667" />
<identifier Org="ISBN:3540213139" Paper_ID="/174731.html" Extracted="3540213139" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540242872" Paper_ID="/174731.html" Extracted="3540242872" DDC="332.1/78" Normalized_DDC="332178" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540418644" Paper_ID="/174731.html" Extracted="3540418644" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540425586" Paper_ID="/174731.html" Extracted="3540425586" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540433635" Paper_ID="/174731.html" Extracted="3540433635" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540440445" Paper_ID="/174731.html" Extracted="3540440445" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540610553" Paper_ID="/174731.html" Extracted="3540610553" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540633987" Paper_ID="/174731.html" Extracted="3540633987" DDC="005.13/3" Normalized_DDC="005133" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540649255" Paper_ID="/174731.html" Extracted="3540649255" DDC="005.4/53" Normalized_DDC="005453" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540656995" Paper_ID="/174731.html" Extracted="3540656995" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />
<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.06666666666666667" />
<identifier Org="ISBN:3540921877" Paper_ID="/174731.html" Extracted="3540921877" />
</rec>
<rec ID="/3927.html" Type="phdthesis" CiteSeer_Book="" CiteSeer_Volume="" Title="Logics and Type Systems,">
<identifier Org="ISBN:1568812035" Paper_ID="/3927.html" Extracted="1568812035" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540005684" Paper_ID="/3927.html" Extracted="3540005684" DDC="510/.285" Normalized_DDC="510285" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540213139" Paper_ID="/3927.html" Extracted="3540213139" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540228497" Paper_ID="/3927.html" Extracted="3540228497" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540282319" Paper_ID="/3927.html" Extracted="3540282319" DDC="005.1/015113" Normalized_DDC="0051015113" Normalized_Weight="0.0625" />
<identifier Org="ISBN:354030553X" Paper_ID="/3927.html" Extracted="354030553X" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540404384" Paper_ID="/3927.html" Extracted="3540404384" DDC="005.1/5" Normalized_DDC="00515" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540417397" Paper_ID="/3927.html" Extracted="3540417397" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540440445" Paper_ID="/3927.html" Extracted="3540440445" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540441441" Paper_ID="/3927.html" Extracted="3540441441" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540580859" Paper_ID="/3927.html" Extracted="3540580859" DDC="005.1/01/5113" Normalized_DDC="0051015113" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540605797" Paper_ID="/3927.html" Extracted="3540605797" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540630457" Paper_ID="/3927.html" Extracted="3540630457" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540657193" Paper_ID="/3927.html" Extracted="3540657193" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540657630" Paper_ID="/3927.html" Extracted="3540657630" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.0625" />
<identifier Org="ISBN:354067778X" Paper_ID="/3927.html" Extracted="354067778X" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540799796" Paper_ID="/3927.html" Extracted="3540799796" />
<identifier Org="ISBN:3540921877" Paper_ID="/3927.html" Extracted="3540921877" />
</rec>
<rec ID="/422369.html" Type="incollection" CiteSeer_Book="Conf Record 17th Annual ACM Symp on Principles of Programming Languages POPL90 San Francisco CA USA 1719 Jan 1990" CiteSeer_Volume="" Title="The Formulae-as-Types Notion of Control,">
<identifier Org="ISBN:0387237593" Paper_ID="/422369.html" Extracted="0387237593" DDC="511.3/6" Normalized_DDC="51136" Normalized_Weight="0.2" />
<identifier Org="ISBN:084931240X" Paper_ID="/422369.html" Extracted="084931240X" DDC="005.4/53" Normalized_DDC="005453" Normalized_Weight="0.2" />
<identifier Org="ISBN:1402017308" Paper_ID="/422369.html" Extracted="1402017308" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.2" />
<identifier Org="ISBN:3540255931" Paper_ID="/422369.html" Extracted="3540255931" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.2" />
<identifier Org="ISBN:3540255966" Paper_ID="/422369.html" Extracted="3540255966" DDC="005.131" Normalized_DDC="005131" Normalized_Weight="0.2" />
<identifier Org="ISBN:3540875301" Paper_ID="/422369.html" Extracted="3540875301" />
</rec>
<rec ID="/103770.html" Type="inproceedings" CiteSeer_Book="Typed Lambda Calculus and Applications" CiteSeer_Volume="" Title="The Conservation Theorem revisited,">
<identifier Org="ISBN:0444520775" Paper_ID="/103770.html" Extracted="0444520775" DDC="511.3/26" Normalized_DDC="511326" Normalized_Weight="0.1" />
<identifier Org="ISBN:078032563X" Paper_ID="/103770.html" Extracted="078032563X" DDC="004" Normalized_DDC="004" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540403329" Paper_ID="/103770.html" Extracted="3540403329" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540565175" Paper_ID="/103770.html" Extracted="3540565175" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540573356" Paper_ID="/103770.html" Extracted="3540573356" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540617566" Paper_ID="/103770.html" Extracted="3540617566" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540634592" Paper_ID="/103770.html" Extracted="3540634592" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540662014" Paper_ID="/103770.html" Extracted="3540662014" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540679340" Paper_ID="/103770.html" Extracted="3540679340" DDC="346/.092" Normalized_DDC="346092" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540734430" Paper_ID="/103770.html" Extracted="3540734430" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.1" />
</rec>
<rec ID="/648231.html" Type="incollection" CiteSeer_Book="Conf Record 20th Ann ACM SIGPLANSIGACT Symp on Principles of Programming Languages POPL93 Charleston SC USA Jan 1993" CiteSeer_Volume="" Title="Explicit Polymorphism and {CPS} Conversion,">
<identifier Org="ISBN:0521594146" Paper_ID="/648231.html" Extracted="0521594146" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:084931240X" Paper_ID="/648231.html" Extracted="084931240X" DDC="005.4/53" Normalized_DDC="005453" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:1581136285" Paper_ID="/648231.html" Extracted="1581136285" />
<identifier Org="ISBN:3540213139" Paper_ID="/648231.html" Extracted="3540213139" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:3540568832" Paper_ID="/648231.html" Extracted="3540568832" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:3540626883" Paper_ID="/648231.html" Extracted="3540626883" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:3540657630" Paper_ID="/648231.html" Extracted="3540657630" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:3540662243" Paper_ID="/648231.html" Extracted="3540662243" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.14285714285714285" />
</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:0262161885" Paper_ID="/34344.html" Extracted="0262161885" DDC="004" Normalized_DDC="004" Normalized_Weight="0.09090909090909091" />
<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: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="/191557.html" Type="incollection" CiteSeer_Book="Conf Record 21st Ann ACM SIGPLANSIGACT Symp on Principles of Programming Languages POPL94 Oregon PL USA 1721 Jan 1994" CiteSeer_Volume="" Title="A Generic Account of Continuation-Passing Styles,">
<identifier Org="ISBN:0521543274" Paper_ID="/191557.html" Extracted="0521543274" DDC="515" Normalized_DDC="515" Normalized_Weight="0.0625" />
<identifier Org="ISBN:0897917707" Paper_ID="/191557.html" Extracted="0897917707" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />
<identifier Org="ISBN:184150176X" Paper_ID="/191557.html" Extracted="184150176X" />
<identifier Org="ISBN:3540009043" Paper_ID="/191557.html" Extracted="3540009043" DDC="005.4/53" Normalized_DDC="005453" Normalized_Weight="0.0625" />
<identifier Org="ISBN:354014031X" Paper_ID="/191557.html" Extracted="354014031X" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540213139" Paper_ID="/191557.html" Extracted="3540213139" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540260943" Paper_ID="/191557.html" Extracted="3540260943" DDC="005.1/14" Normalized_DDC="005114" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540417397" Paper_ID="/191557.html" Extracted="3540417397" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.0625" />
<identifier Org="ISBN:354043366X" Paper_ID="/191557.html" Extracted="354043366X" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540440445" Paper_ID="/191557.html" Extracted="3540440445" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540580271" Paper_ID="/191557.html" Extracted="3540580271" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.0625" />
<identifier Org="ISBN:354060359X" Paper_ID="/191557.html" Extracted="354060359X" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540610553" Paper_ID="/191557.html" Extracted="3540610553" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />
<identifier Org="ISBN:354063388X" Paper_ID="/191557.html" Extracted="354063388X" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540633987" Paper_ID="/191557.html" Extracted="3540633987" DDC="005.13/3" Normalized_DDC="005133" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540643028" Paper_ID="/191557.html" Extracted="3540643028" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540672621" Paper_ID="/191557.html" Extracted="3540672621" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />
<identifier Org="ISBN:364200721X" Paper_ID="/191557.html" Extracted="364200721X" />
</rec>
<rec ID="/60372.html" Type="inproceedings" CiteSeer_Book="Theoretical Aspects of Computer Software Sendai Japan September 1997 Lecture Notes in Computer Science vol 1281" CiteSeer_Volume="" Title="Sound Specialization in the Presence of Computational Effects,">
<identifier Org="ISBN:1595933883" Paper_ID="/60372.html" Extracted="1595933883" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.125" />
<identifier Org="ISBN:3540403256" Paper_ID="/60372.html" Extracted="3540403256" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.125" />
<identifier Org="ISBN:3540442847" Paper_ID="/60372.html" Extracted="3540442847" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.125" />
<identifier Org="ISBN:354063388X" Paper_ID="/60372.html" Extracted="354063388X" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.125" />
<identifier Org="ISBN:3540633987" Paper_ID="/60372.html" Extracted="3540633987" DDC="005.13/3" Normalized_DDC="005133" Normalized_Weight="0.125" />
<identifier Org="ISBN:3540643028" Paper_ID="/60372.html" Extracted="3540643028" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.125" />
<identifier Org="ISBN:3540653880" Paper_ID="/60372.html" Extracted="3540653880" DDC="004" Normalized_DDC="004" Normalized_Weight="0.125" />
<identifier Org="ISBN:3540667105" Paper_ID="/60372.html" Extracted="3540667105" DDC="005" Normalized_DDC="005" Normalized_Weight="0.125" />
</rec>
<rec ID="/19493.html" Type="incollection" CiteSeer_Book="Proceedings 3rd Workshop on Logics of Programs Brooklyn NY USA 1719 June 1985" CiteSeer_Volume="" Title="Continuation Semantics in Typed Lambda-Calculi,">
<identifier Org="ISBN:081862230X" Paper_ID="/19493.html" Extracted="081862230X" />
<identifier Org="ISBN:0818627352" Paper_ID="/19493.html" Extracted="0818627352" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.1" />
<identifier Org="ISBN:089791273X" Paper_ID="/19493.html" Extracted="089791273X" DDC="005.13/3" Normalized_DDC="005133" Normalized_Weight="0.1" />
<identifier Org="ISBN:1581136285" Paper_ID="/19493.html" Extracted="1581136285" />
<identifier Org="ISBN:1581136676" Paper_ID="/19493.html" Extracted="1581136676" DDC="005" Normalized_DDC="005" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540156488" Paper_ID="/19493.html" Extracted="3540156488" />
<identifier Org="ISBN:3540213139" Paper_ID="/19493.html" Extracted="3540213139" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540419608" Paper_ID="/19493.html" Extracted="3540419608" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.1" />
<identifier Org="ISBN:354043366X" Paper_ID="/19493.html" Extracted="354043366X" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540578870" Paper_ID="/19493.html" Extracted="3540578870" DDC="005.1/01/5113" Normalized_DDC="0051015113" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540634592" Paper_ID="/19493.html" Extracted="3540634592" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540657630" Paper_ID="/19493.html" Extracted="3540657630" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540662014" Paper_ID="/19493.html" Extracted="3540662014" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.1" />
</rec>
<rec ID="/75539.html" Type="misc" CiteSeer_Book="" CiteSeer_Volume="" Title="Henk: a typed intermediate language,">
<identifier Org="ISBN:1402070241" Paper_ID="/75539.html" Extracted="1402070241" DDC="004.165" Normalized_DDC="004165" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:1402073747" Paper_ID="/75539.html" Extracted="1402073747" DDC="006.3/1" Normalized_DDC="00631" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:1581136285" Paper_ID="/75539.html" Extracted="1581136285" />
<identifier Org="ISBN:3540418644" Paper_ID="/75539.html" Extracted="3540418644" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540421963" Paper_ID="/75539.html" Extracted="3540421963" DDC="005.4/53" Normalized_DDC="005453" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540440445" Paper_ID="/75539.html" Extracted="3540440445" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540627812" Paper_ID="/75539.html" Extracted="3540627812" DDC="005.1/2" Normalized_DDC="00512" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540648275" Paper_ID="/75539.html" Extracted="3540648275" DDC="004" Normalized_DDC="004" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540649255" Paper_ID="/75539.html" Extracted="3540649255" DDC="005.4/53" Normalized_DDC="005453" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540677275" Paper_ID="/75539.html" Extracted="3540677275" DDC="004.2/1/0151" Normalized_DDC="004210151" Normalized_Weight="0.1111111111111111" />
</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="/176117.html" Type="inproceedings" CiteSeer_Book="International Static Analysis Symposium Glasgow Scotland September 1995 Lecture Notes in Computer Science vol 983" CiteSeer_Volume="" Title="Call-By-Name {CPS}-Translation as a Binding-Time Improvement,">
<identifier Org="ISBN:0262620995" Paper_ID="/176117.html" Extracted="0262620995" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.3333333333333333" />
<identifier Org="ISBN:3540603603" Paper_ID="/176117.html" Extracted="3540603603" DDC="005.1/31" Normalized_DDC="005131" Normalized_Weight="0.3333333333333333" />
<identifier Org="ISBN:3540667105" Paper_ID="/176117.html" Extracted="3540667105" DDC="005" Normalized_DDC="005" Normalized_Weight="0.3333333333333333" />
</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="/99622.html" Type="misc" CiteSeer_Book="" CiteSeer_Volume="" Title="Delta calculus,">
<identifier Org="ISBN:0124438792" Paper_ID="/99622.html" Extracted="0124438792" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:0126741506" Paper_ID="/99622.html" Extracted="0126741506" DDC="510/.8 s" Normalized_DDC="5108" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:0471944432" Paper_ID="/99622.html" Extracted="0471944432" DDC="519.2" Normalized_DDC="5192" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:0792346440" Paper_ID="/99622.html" Extracted="0792346440" DDC="003/.54" Normalized_DDC="00354" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:0817642935" Paper_ID="/99622.html" Extracted="0817642935" DDC="514/.74" Normalized_DDC="51474" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:1558602585" Paper_ID="/99622.html" Extracted="1558602585" />
<identifier Org="ISBN:1586037676" Paper_ID="/99622.html" Extracted="1586037676" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3486272128" Paper_ID="/99622.html" Extracted="3486272128" />
<identifier Org="ISBN:354035994X" Paper_ID="/99622.html" Extracted="354035994X" DDC="643.6" Normalized_DDC="6436" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540412859" Paper_ID="/99622.html" Extracted="3540412859" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:354058403X" Paper_ID="/99622.html" Extracted="354058403X" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540617329" Paper_ID="/99622.html" Extracted="3540617329" DDC="006.3/01/5113" Normalized_DDC="0063015113" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540634932" Paper_ID="/99622.html" Extracted="3540634932" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:354063746X" Paper_ID="/99622.html" Extracted="354063746X" DDC="004" Normalized_DDC="004" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:887188891X" Paper_ID="/99622.html" Extracted="887188891X" />
</rec>
<rec ID="/426523.html" Type="incollection" CiteSeer_Book="Proceedings 1992 ACM Conf on Lisp and Functional Programming San Francisco CA USA 2224 June 1992" CiteSeer_Volume="" Title="Reasoning about Programs in Continuation-Passing Style,">
<identifier Org="ISBN:0521631688" Paper_ID="/426523.html" Extracted="0521631688" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:0897917707" Paper_ID="/426523.html" Extracted="0897917707" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:158113472X" Paper_ID="/426523.html" Extracted="158113472X" DDC="005.452" Normalized_DDC="005452" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540230246" Paper_ID="/426523.html" Extracted="3540230246" DDC="005.1/01/5113" Normalized_DDC="0051015113" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540255931" Paper_ID="/426523.html" Extracted="3540255931" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540255966" Paper_ID="/426523.html" Extracted="3540255966" DDC="005.131" Normalized_DDC="005131" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540422064" Paper_ID="/426523.html" Extracted="3540422064" DDC="005.1/17" Normalized_DDC="005117" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540433635" Paper_ID="/426523.html" Extracted="3540433635" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:354043366X" Paper_ID="/426523.html" Extracted="354043366X" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540440445" Paper_ID="/426523.html" Extracted="3540440445" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540442359" Paper_ID="/426523.html" Extracted="3540442359" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540610553" Paper_ID="/426523.html" Extracted="3540610553" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540626883" Paper_ID="/426523.html" Extracted="3540626883" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540633987" Paper_ID="/426523.html" Extracted="3540633987" DDC="005.13/3" Normalized_DDC="005133" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540697357" Paper_ID="/426523.html" Extracted="3540697357" DDC="005.14" Normalized_DDC="00514" Normalized_Weight="0.06666666666666667" />
</rec>
<rec ID="/427853.html" Type="inproceedings" CiteSeer_Book="SIGPLAN Conference on Programming Language Design and Implementation" CiteSeer_Volume="" Title="Is Continuation-Passing Useful for Data Flow Analysis?,">
<identifier Org="ISBN:3540659684" Paper_ID="/427853.html" Extracted="3540659684" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="1.0" />
</rec>
<rec ID="/540462.html" Type="incollection" CiteSeer_Book="Proceedings 1st ACM SIGPLAN Int Conf on Funct Prog ICFP96 Philadelphia PA 2426 May 1996" CiteSeer_Volume="" Title="A Reflection on Call-by-Value,">
<identifier Org="ISBN:0262062178" Paper_ID="/540462.html" Extracted="0262062178" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.1" />
<identifier Org="ISBN:0897917707" Paper_ID="/540462.html" Extracted="0897917707" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540255931" Paper_ID="/540462.html" Extracted="3540255931" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540255966" Paper_ID="/540462.html" Extracted="3540255966" DDC="005.131" Normalized_DDC="005131" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540260943" Paper_ID="/540462.html" Extracted="3540260943" DDC="005.1/14" Normalized_DDC="005114" Normalized_Weight="0.1" />
<identifier Org="ISBN:354043366X" Paper_ID="/540462.html" Extracted="354043366X" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540440445" Paper_ID="/540462.html" Extracted="3540440445" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.1" />
<identifier Org="ISBN:354063388X" Paper_ID="/540462.html" Extracted="354063388X" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540633987" Paper_ID="/540462.html" Extracted="3540633987" DDC="005.13/3" Normalized_DDC="005133" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540732276" Paper_ID="/540462.html" Extracted="3540732276" />
<identifier Org="ISBN:3540755586" Paper_ID="/540462.html" Extracted="3540755586" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540875301" Paper_ID="/540462.html" Extracted="3540875301" />
<identifier Org="ISBN:364200721X" Paper_ID="/540462.html" Extracted="364200721X" />
</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:0262161885" Paper_ID="/305444.html" Extracted="0262161885" DDC="004" Normalized_DDC="004" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:0521582741" Paper_ID="/305444.html" Extracted="0521582741" DDC="005.4/53" Normalized_DDC="005453" Normalized_Weight="0.07692307692307693" />
<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.07692307692307693" />
<identifier Org="ISBN:0897919068" Paper_ID="/305444.html" Extracted="0897919068" DDC="005.2/75" Normalized_DDC="005275" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:1595933883" Paper_ID="/305444.html" Extracted="1595933883" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540212973" Paper_ID="/305444.html" Extracted="3540212973" DDC="005.4/53" Normalized_DDC="005453" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540401903" Paper_ID="/305444.html" Extracted="3540401903" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540410902" Paper_ID="/305444.html" Extracted="3540410902" DDC="005" Normalized_DDC="005" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540442359" Paper_ID="/305444.html" Extracted="3540442359" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540610553" Paper_ID="/305444.html" Extracted="3540610553" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540627812" Paper_ID="/305444.html" Extracted="3540627812" DDC="005.1/2" Normalized_DDC="00512" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540648496" Paper_ID="/305444.html" Extracted="3540648496" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540649255" Paper_ID="/305444.html" Extracted="3540649255" DDC="005.4/53" Normalized_DDC="005453" Normalized_Weight="0.07692307692307693" />
</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:0262161885" Paper_ID="/610308.html" Extracted="0262161885" DDC="004" Normalized_DDC="004" 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="SELF" Type="SELF" CiteSeer_Book="SELF" CiteSeer_Volume="SELF" Title="CPS Translations and Applications: The Cube and Beyond">
<identifier Org="ISBN:354014031X" Paper_ID="SELF" Extracted="354014031X" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="1.0" />
<identifier Org="ISBN:3540732276" Paper_ID="SELF" Extracted="3540732276" />
</rec>
</references_metadata>