Conferences in DBLP

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

1. Conor McBride
   What's the deal with dependent types? [Citation Graph (0, 0)][DBLP]
   TLDI, 2007, pp:1-2 [Conf]
   
2. Saurabh Srivastava, Michael Hicks, Jeffrey S. Foster
   Modular information hiding and type-safe linking for C. [Citation Graph (0, 0)][DBLP]
   TLDI, 2007, pp:3-14 [Conf]
   
3. Nick Benton, Peter Buchlovsky
   Semantics of an effect analysis for exceptions. [Citation Graph (0, 0)][DBLP]
   TLDI, 2007, pp:15-26 [Conf]
   
4. Didier Rémy, Boris Yakobowski
   A graphical presentation of ML^F types with a linear-time unification algorithm. [Citation Graph (0, 0)][DBLP]
   TLDI, 2007, pp:27-38 [Conf]
   
5. Kathleen Fisher
   Typing ad hoc data. [Citation Graph (0, 0)][DBLP]
   TLDI, 2007, pp:39-40 [Conf]
   
6. Chris Hawblitzel, Heng Huang, Lea Wittie, Juan Chen
   A garbage-collecting typed assembly language. [Citation Graph (0, 0)][DBLP]
   TLDI, 2007, pp:41-52 [Conf]
   
7. Martin Sulzmann, Manuel M. T. Chakravarty, Simon L. Peyton Jones, Kevin Donnelly
   System F with type equality coercions. [Citation Graph (0, 0)][DBLP]
   TLDI, 2007, pp:53-66 [Conf]
   
8. Xinyu Feng, Zhaozhong Ni, Zhong Shao, Yu Guo
   An open framework for foundational proof-carrying code. [Citation Graph (0, 0)][DBLP]
   TLDI, 2007, pp:67-78 [Conf]