Search dblp for Publications

export results for "toc:db/conf/tic/tic2000.bht:"

 download as .bib file

@proceedings{DBLP:conf/tic/2000,
  editor       = {Robert Harper},
  title        = {Types in Compilation, Third International Workshop, {TIC} 2000, Montreal,
                  Canada, September 21, 2000, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2071},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45332-6},
  doi          = {10.1007/3-540-45332-6},
  isbn         = {3-540-42196-3},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tic/2000.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tic/Crary00,
  author       = {Karl Crary},
  editor       = {Robert Harper},
  title        = {Sound and Complete Elimination of Singleton Kinds},
  booktitle    = {Types in Compilation, Third International Workshop, {TIC} 2000, Montreal,
                  Canada, September 21, 2000, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2071},
  pages        = {1--26},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45332-6\_1},
  doi          = {10.1007/3-540-45332-6\_1},
  timestamp    = {Tue, 14 May 2019 10:00:38 +0200},
  biburl       = {https://dblp.org/rec/conf/tic/Crary00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tic/DimockWMTWC00,
  author       = {Allyn Dimock and
                  Ian Westmacott and
                  Robert Muller and
                  Franklyn A. Turbak and
                  J. B. Wells and
                  Jeffrey Considine},
  editor       = {Robert Harper},
  title        = {Program Representation Size in an Intermediate Language with Intersection
                  and Union Types},
  booktitle    = {Types in Compilation, Third International Workshop, {TIC} 2000, Montreal,
                  Canada, September 21, 2000, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2071},
  pages        = {27--52},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45332-6\_2},
  doi          = {10.1007/3-540-45332-6\_2},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tic/DimockWMTWC00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tic/Drossopoulou00,
  author       = {Sophia Drossopoulou},
  editor       = {Robert Harper},
  title        = {An Abstract Model of Java Dynamic Linking and Loading},
  booktitle    = {Types in Compilation, Third International Workshop, {TIC} 2000, Montreal,
                  Canada, September 21, 2000, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2071},
  pages        = {53--84},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45332-6\_3},
  doi          = {10.1007/3-540-45332-6\_3},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tic/Drossopoulou00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tic/Duggan00,
  author       = {Dominic Duggan},
  editor       = {Robert Harper},
  title        = {Sharing in Typed Module Assembly Language},
  booktitle    = {Types in Compilation, Third International Workshop, {TIC} 2000, Montreal,
                  Canada, September 21, 2000, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2071},
  pages        = {85--116},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45332-6\_4},
  doi          = {10.1007/3-540-45332-6\_4},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tic/Duggan00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tic/GrossmanM00,
  author       = {Dan Grossman and
                  J. Gregory Morrisett},
  editor       = {Robert Harper},
  title        = {Scalable Certification for Typed Assembly Language},
  booktitle    = {Types in Compilation, Third International Workshop, {TIC} 2000, Montreal,
                  Canada, September 21, 2000, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2071},
  pages        = {117--146},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45332-6\_5},
  doi          = {10.1007/3-540-45332-6\_5},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tic/GrossmanM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tic/HicksWC00,
  author       = {Michael W. Hicks and
                  Stephanie Weirich and
                  Karl Crary},
  editor       = {Robert Harper},
  title        = {Safe and Flexible Dynamic Linking of Native Code},
  booktitle    = {Types in Compilation, Third International Workshop, {TIC} 2000, Montreal,
                  Canada, September 21, 2000, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2071},
  pages        = {147--176},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45332-6\_6},
  doi          = {10.1007/3-540-45332-6\_6},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tic/HicksWC00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tic/WalkerM00,
  author       = {David Walker and
                  J. Gregory Morrisett},
  editor       = {Robert Harper},
  title        = {Alias Types for Recursive Data Structures},
  booktitle    = {Types in Compilation, Third International Workshop, {TIC} 2000, Montreal,
                  Canada, September 21, 2000, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2071},
  pages        = {177--206},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45332-6\_7},
  doi          = {10.1007/3-540-45332-6\_7},
  timestamp    = {Mon, 08 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tic/WalkerM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.