3. TIC 2000: Montreal, Canada

Robert Harper (Ed.): 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

@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},
  booktitle = {TIC},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2071},
  year      = {2001},
  isbn      = {3-540-42196-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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

Last update Fri May 25 08:43:08 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page