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

Graph

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

www.000webhost.com