Table of Contents
Sound and complete elimination of singleton kinds / Karl Crary -- Program representation size in an intermediate language with intersection and union types / Allyn Dimock ... et al. -- An abstract model of Java dynamic linking and loading / Sophia Drossopoulou -- Sharing in typed module assembly language / Dominic Duggan -- Scalable certification for typed assembly language / Dan Grossman, Greg Morrisett -- Safe and flexible dynamic linking of native code / Michael Hicks, Stephanie Weirich, Karl Crary -- Alias types for recursive data structures / David Walker, Greg Morrisett.