Types in compilation. 3rd international workshop, TIC 2000, Montreal, Canada, September 21, 2000. Revised selected papers (Q5941728)

The articles of mathematical interest will be reviewed individually. Indexed articles: \textit{Crary, Karl}, Sound and complete elimination of singleton kinds, 1-25 [Zbl 0985.68008] \textit{Dimock, Allyn; Westmacott, Ian; Muller, Robert; Turbak, Franklyn; Wells, J. B.}, Program representation size in an intermediate language with intersection and union types, 27-52 [Zbl 0985.68674] \textit{Drossopoulou, Sophia}, An abstract model of Java dynamic linking and loading, 53-84 [Zbl 0985.68506] \textit{Duggan, Dominic}, Sharing in typed module assembly language, 85-116 [Zbl 0985.68507] \textit{Grossman, Dan; Morrisett, Greg}, Scalable certification for typed assembly language, 117-145 [Zbl 0985.68659] \textit{Hicks, Michael; Weirich, Stephanie; Crary, Karl}, Safe and flexible dynamic linking of native code, 147-176 [Zbl 0985.68658] \textit{Walker, David; Morrisett, Greg}, Alias types for recursive data structures, 177-206 [Zbl 0985.68007]