Conferences in DBLP

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

1. Xavier Leroy
   Introduction. [Citation Graph (0, 0)][DBLP]
   Types in Compilation, 1998, pp:1-8 [Conf]
   
2. Andrew K. Wright, Suresh Jagannathan, Cristian Ungureanu, Aaron Hertzmann
   Compiling Java to a Typed Lambda-Calculus: A Preliminary Report. [Citation Graph (0, 0)][DBLP]
   Types in Compilation, 1998, pp:9-27 [Conf]
   
3. J. Gregory Morrisett, Karl Crary, Neal Glew, David Walker
   Stack-Based Typed Assembly Language. [Citation Graph (0, 0)][DBLP]
   Types in Compilation, 1998, pp:28-52 [Conf]
   
4. Andrew Bernard, Robert Harper, Peter Lee
   How Generic is a Generic Black End? Using MLRISC as a Black End for the TIL Compiler. [Citation Graph (0, 0)][DBLP]
   Types in Compilation, 1998, pp:53-77 [Conf]
   
5. Alexander Aiken, Manuel Fähndrich, Jeffrey S. Foster, Zhendong Su
   A Toolkit for Constructing Type- and Constraint-Based Program Analyses. [Citation Graph (0, 0)][DBLP]
   Types in Compilation, 1998, pp:78-96 [Conf]
   
6. Andrew P. Tolmach
   Optimizing ML Using a Hierarchy of Monadic Types. [Citation Graph (0, 0)][DBLP]
   Types in Compilation, 1998, pp:97-115 [Conf]
   
7. Zhong Shao, Valery Trifonov
   Type-Directed Continuation Allocation. [Citation Graph (0, 0)][DBLP]
   Types in Compilation, 1998, pp:116-135 [Conf]
   
8. Martin Elsman
   Polymorphic Equality - No Tags Required. [Citation Graph (0, 0)][DBLP]
   Types in Compilation, 1998, pp:136-155 [Conf]
   
9. Bratin Saha, Zhong Shao
   Optimal Type Lifting. [Citation Graph (0, 0)][DBLP]
   Types in Compilation, 1998, pp:156-177 [Conf]
   
10. Peter Thiemann
    Formalizing Resourve Allocation in a Compiler. [Citation Graph (0, 0)][DBLP]
    Types in Compilation, 1998, pp:178-193 [Conf]
    
11. Daniela Genius, Martin Trapp, Wolf Zimmermann
    An Approach to Improve Locality Using Sandwich Types. [Citation Graph (0, 0)][DBLP]
    Types in Compilation, 1998, pp:194-214 [Conf]
    
12. Haruo Hosoya, Akinori Yonezawa
    Garbage Collection via Dynamic Type Inference - A Fomal Treatment. [Citation Graph (0, 0)][DBLP]
    Types in Compilation, 1998, pp:215-239 [Conf]
    
13. Vincent Balat, Olivier Danvy
    Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation. [Citation Graph (0, 0)][DBLP]
    Types in Compilation, 1998, pp:240-252 [Conf]
    
14. Nobuhisa Fujinami
    Determination of Dynamic Method Dispatches Using Run-Time Code Generation. [Citation Graph (0, 0)][DBLP]
    Types in Compilation, 1998, pp:253-271 [Conf]
    
15. Naoki Kobayashi
    Type-Based Analysis of Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    Types in Compilation, 1998, pp:272- [Conf]
    
16. Dominic Duggan
    A Type-Based Semantics for User-Defined Marshalling in Polymorphic Languages. [Citation Graph (0, 0)][DBLP]
    Types in Compilation, 1998, pp:273-297 [Conf]