Types in Compilation: Third International Workshop, TIC 2000, Montreal, Canada, September 21, 2000. Revised Selected Papers
Tic, Robert W. Harper · Medical Entomology and Zoology · 2001
Types in Compilation.- Sound and Complete Elimination of Singleton Kinds.- Program Representation Size in an Intermediate Language with Intersection and Union Types.- An Abstract Model of Java Dynamic Linking and Loading.- Sharing in Typed Module Assembly Language.- Scalable Certification for Typed Assembly Language.- Safe and Flexible Dynamic Linking of Native Code.- Alias Types for Recursive Data Structures.