The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Cormac Flanagan, Shaz Qadeer
    Types for atomicity. [Citation Graph (0, 0)][DBLP]
    TLDI, 2003, pp:1-12 [Conf]
  2. Dan Grossman
    Type-safe multithreading in cyclone. [Citation Graph (0, 0)][DBLP]
    TLDI, 2003, pp:13-25 [Conf]
  3. Ralf Lämmel, Simon L. Peyton Jones
    Scrap your boilerplate: a practical design pattern for generic programming. [Citation Graph (0, 0)][DBLP]
    TLDI, 2003, pp:26-37 [Conf]
  4. Sungwoo Park
    A calculus for probabilistic languages. [Citation Graph (0, 0)][DBLP]
    TLDI, 2003, pp:38-49 [Conf]
  5. Naoki Kobayashi
    Time regions and effects for resource usage analysis. [Citation Graph (0, 0)][DBLP]
    TLDI, 2003, pp:50-61 [Conf]
  6. Cristiano Calcagno, Luca Cardelli, Andrew D. Gordon
    Deciding validity in a spatial logic for trees. [Citation Graph (0, 0)][DBLP]
    TLDI, 2003, pp:62-73 [Conf]
  7. Amal J. Ahmed, David Walker
    The logical approach to stack typing. [Citation Graph (0, 0)][DBLP]
    TLDI, 2003, pp:74-85 [Conf]
  8. Torben Amtoft, Robert Muller
    Inferring annotated types for inter-procedural register allocation with constructor flattening. [Citation Graph (0, 0)][DBLP]
    TLDI, 2003, pp:86-97 [Conf]
  9. Joseph Vanderwaart, Derek Dreyer, Leaf Petersen, Karl Crary, Robert Harper, Perry Cheng
    Typed compilation of recursive datatypes. [Citation Graph (0, 0)][DBLP]
    TLDI, 2003, pp:98-108 [Conf]
  10. Joseph Vanderwaart, Karl Crary
    A typed interface for garbage collection. [Citation Graph (0, 0)][DBLP]
    TLDI, 2003, pp:109-122 [Conf]
  11. Martin Elsman
    Garbage collection safety for region-based memory management. [Citation Graph (0, 0)][DBLP]
    TLDI, 2003, pp:123-134 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
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 asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002