![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/conf/tic/tic2000.bht:"
@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} }
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.