Conferences in DBLP

Types In Languages Design And Implementation (tldi)
2005 (conf/tldi/2005)

1. Bor-Yuh Evan Chang, Adam J. Chlipala, George C. Necula, Robert R. Schneck
   The open verifier framework for foundational verifiers. [Citation Graph (0, 0)][DBLP]
   TLDI, 2005, pp:1-12 [Conf]
   
2. Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich
   An open and shut typecase. [Citation Graph (0, 0)][DBLP]
   TLDI, 2005, pp:13-24 [Conf]
   
3. Michael F. Ringenburg, Dan Grossman
   Types for describing coordinated data structures. [Citation Graph (0, 0)][DBLP]
   TLDI, 2005, pp:25-36 [Conf]
   
4. Juan Chen
   Decidable subclassing-bounded quantification. [Citation Graph (0, 0)][DBLP]
   TLDI, 2005, pp:37-46 [Conf]
   
5. Cormac Flanagan, Stephen N. Freund, Marina Lifshin
   Type inference for atomicity. [Citation Graph (0, 0)][DBLP]
   TLDI, 2005, pp:47-58 [Conf]
   
6. Peter Thiemann
   Grammar-based analysis of string expressions. [Citation Graph (0, 0)][DBLP]
   TLDI, 2005, pp:59-70 [Conf]
   
7. Adam J. Chlipala, Leaf Petersen, Robert Harper
   Strict bidirectional type checking. [Citation Graph (0, 0)][DBLP]
   TLDI, 2005, pp:71-78 [Conf]
   
8. Joseph Vanderwaart, Karl Crary
   Automated and certified conformance to responsiveness policies. [Citation Graph (0, 0)][DBLP]
   TLDI, 2005, pp:79-90 [Conf]
   
9. Bor-Yuh Evan Chang, Adam J. Chlipala, George C. Necula, Robert R. Schneck
   Type-based verification of assembly language for compiler debugging. [Citation Graph (0, 0)][DBLP]
   TLDI, 2005, pp:91-102 [Conf]
   
10. Gilles Barthe, Tamara Rezk
    Non-interference for a JVM-like language. [Citation Graph (0, 0)][DBLP]
    TLDI, 2005, pp:103-112 [Conf]