Conferences in DBLP

Types in Language Design and Implementation (TLDI) / Types in Compilation (TIC) (tic)
2000 (conf/tic/2000)

1. Karl Crary
   Sound and Complete Elimination of Singleton Kinds. [Citation Graph (0, 0)][DBLP]
   Types in Compilation, 2000, pp:1-26 [Conf]
   
2. 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. [Citation Graph (0, 0)][DBLP]
   Types in Compilation, 2000, pp:27-52 [Conf]
   
3. Sophia Drossopoulou
   An Abstract Model of Java Dynamic Linking and Loading. [Citation Graph (0, 0)][DBLP]
   Types in Compilation, 2000, pp:53-84 [Conf]
   
4. Dominic Duggan
   Sharing in Typed Module Assembly Language. [Citation Graph (0, 0)][DBLP]
   Types in Compilation, 2000, pp:85-116 [Conf]
   
5. Dan Grossman, J. Gregory Morrisett
   Scalable Certification for Typed Assembly Language. [Citation Graph (0, 0)][DBLP]
   Types in Compilation, 2000, pp:117-146 [Conf]
   
6. Michael W. Hicks, Stephanie Weirich, Karl Crary
   Safe and Flexible Dynamic Linking of Native Code. [Citation Graph (0, 0)][DBLP]
   Types in Compilation, 2000, pp:147-176 [Conf]
   
7. David Walker, J. Gregory Morrisett
   Alias Types for Recursive Data Structures. [Citation Graph (0, 0)][DBLP]
   Types in Compilation, 2000, pp:177-206 [Conf]