The SCEAS System
Navigation Menu

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 MLF 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]
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002