![](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
3. TIC 2000: Montreal, Canada
- Robert Harper:
Types in Compilation, Third International Workshop, TIC 2000, Montreal, Canada, September 21, 2000, Revised Selected Papers. Lecture Notes in Computer Science 2071, Springer 2001, ISBN 3-540-42196-3 - Karl Crary:
Sound and Complete Elimination of Singleton Kinds. 1-26 - Allyn Dimock, Ian Westmacott, Robert Muller, Franklyn A. Turbak, J. B. Wells, Jeffrey Considine:
Program Representation Size in an Intermediate Language with Intersection and Union Types. 27-52 - Sophia Drossopoulou:
An Abstract Model of Java Dynamic Linking and Loading. 53-84 - Dominic Duggan:
Sharing in Typed Module Assembly Language. 85-116 - Dan Grossman, J. Gregory Morrisett:
Scalable Certification for Typed Assembly Language. 117-146 - Michael W. Hicks
, Stephanie Weirich
, Karl Crary:
Safe and Flexible Dynamic Linking of Native Code. 147-176 - David Walker, J. Gregory Morrisett:
Alias Types for Recursive Data Structures. 177-206
![](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.